Hochschulschrift
Analysis of methods for extraction of programs from non-constructive proofs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Ludwig-Maximilians-Universität, Diss., 2012
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der Ludwig-Maximilians-Universität
- (wann)
-
2012
- Urheber
-
Trifonov, Trifon
- Beteiligte Personen und Organisationen
-
Schwichtenberg, Helmut
- URN
-
urn:nbn:de:bvb:19-140308
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Trifonov, Trifon
- Schwichtenberg, Helmut
- Universitätsbibliothek der Ludwig-Maximilians-Universität
Entstanden
- 2012
Ähnliche Objekte (12)
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Commutativity simplifies proofs of parameterized programs
Refinement of Classical Proofs for Program Extraction
Programs, proofs, processes : proceedings
Termination proofs for logic programs
Termination proofs for logic programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Commutativity simplifies proofs of parameterized programs
Refinement of Classical Proofs for Program Extraction
Programs, proofs, processes : proceedings
Termination proofs for logic programs
Termination proofs for logic programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstruction of a logic for inductive proofs of properties of functional programs
Constructive proofs or constructive statements?
On the constructive content of proofs
On the constructive content of proofs
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Commutativity simplifies proofs of parameterized programs
Refinement of Classical Proofs for Program Extraction
Programs, proofs, processes : proceedings
Termination proofs for logic programs
Termination proofs for logic programs
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs