Akten
Some uses of proof theory for finding computer programs
Enthält: 2 Sonderdrucke des Artikels "Some uses of proof theory for finding computer programs" aus: Colloque International de Logique, Clermont-Ferrand, 18-25 Juillet 1975, hg. v. M. Guillaume, Paris 1977 ( Colloques Internationaux du Centre National de la Recherche Scientifique 249)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-99
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1977
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1977
Ähnliche Objekte (12)
Some uses of metamathematics
Proof of Pointer Programs with Ownership in SPARK
Proof-Theoretic Semantics : Some Basic Ideas
Proof theory and the synthesis of programs: Potential and limitations
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Geometrical proof of M. Faure's and some kindred theorems.
Why cash transfer programs can both stimulate and slow down job finding
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Some facts from the theory of proofs and some fictions from general proof theory
Semantic and pragmatic aspects of some particular uses of contrast marking
Some Reflections on Possible Uses of E-Participation for the Local Level
The generalized Fechner-Thurstone direct utility function and some of its uses
Some uses of metamathematics
Proof of Pointer Programs with Ownership in SPARK
Proof-Theoretic Semantics : Some Basic Ideas
Proof theory and the synthesis of programs: Potential and limitations
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Geometrical proof of M. Faure's and some kindred theorems.
Why cash transfer programs can both stimulate and slow down job finding
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Some facts from the theory of proofs and some fictions from general proof theory
Semantic and pragmatic aspects of some particular uses of contrast marking
Some Reflections on Possible Uses of E-Participation for the Local Level
The generalized Fechner-Thurstone direct utility function and some of its uses
Some uses of metamathematics
Proof of Pointer Programs with Ownership in SPARK
Proof-Theoretic Semantics : Some Basic Ideas
Proof theory and the synthesis of programs: Potential and limitations
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Geometrical proof of M. Faure's and some kindred theorems.
Why cash transfer programs can both stimulate and slow down job finding
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs
Some facts from the theory of proofs and some fictions from general proof theory
Semantic and pragmatic aspects of some particular uses of contrast marking
Some Reflections on Possible Uses of E-Participation for the Local Level