Monika Seisenberger und Programs - Info zur Person

(1 - 11 von 14

)

Monika Seisenberger, Programs from proofs using classical ...philpapers.org › rec › SEIPFP

philpapers.org

This article generalises the refined A-translation method for extracting programs from classical proofs [U. Berger,W. Buchholz, H. Schwichtenberg, Refined ...

Types for Proofs and Programs: International Workshop, TYPES ...books.google.ae › books

books.google.ae

... Sambin Monika Seisenberger Anton Setzer Jan Smith Sergei Soloview Makoto Takeyama Silvio Valentini Markus Wenzel Benjamin Werner List of Referees.

Types for Proofs and Programs: International Workshop, TYPES ...books.google.ae › books

books.google.ae

Monika Seisenberger. Kruskal's tree theorem in a constructive theory of inductive definitions In: Reuniting the Antipodes - Constructive and Nonstandard Views ...

Types for Proofs and Programs: International Workshop, TYPES 2000,...

books.google.fi

This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in...

Types for Proofs and Programs: International Workshop, TYPES '98,...

books.google.de

Ren ́eAhn,TijnBorghuis Grobner ̈ BasesinTypeTheory

Participants - HIMwww.him.uni-bonn.de › programs

www.him.uni-bonn.de

... Schwichtenberg, Ludwig-Maximilians-Universität München, – Monika Seisenberger, Swansea University, –

Proofs, Programs, Processes | SpringerLink

link.springer.com

We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality...

The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic...

link.springer.com

By means of two well-known examples it is demonstrated that the method of extracting programs from proofs is manageable in practice and may yield efficient...

Monika Seisenberger - Cites de Google Acadèmic

scholar.google.cat

Types for Proofs and Programs, Lecture Notes in Computer Science 2277, Programs from proofs using classical dependent choice.

DROPS - Extracting Imperative Programs from Proofs: In-place Quicksort

drops.dagstuhl.de

BibTeX - Entry @InProceedings{berger_et_al:LIPIcs:2014:4627, author = {Ulrich Berger and Monika Seisenberger and Gregory J. M. Woods}, title = {{Extracting Imperative

Alle Infos zum Namen "Monika Seisenberger"

Verwandte Suchanfragen zu Monika Seisenberger

Anton Setzer
Hannes Diener
John Power

Ulrich Berger
Peter Schuster
Karim Kanso

Alfred Kutscher
Hans-Jürgen Forster

Personen
Vorname "Monika" (57514)
Name "Seisenberger" (90)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Monika Seisenberger und Programs Person-Info