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)
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-99
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1977
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1977
Other Objects (12)
Some uses of metamathematics
Proof of Pointer Programs with Ownership in SPARK
Proof-Theoretic Semantics : Some Basic Ideas
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Proof theory and the synthesis of programs: Potential and limitations
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
PROOF
proof
Some uses of metamathematics
Proof of Pointer Programs with Ownership in SPARK
Proof-Theoretic Semantics : Some Basic Ideas
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Proof theory and the synthesis of programs: Potential and limitations
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
PROOF
proof
Some uses of metamathematics
Proof of Pointer Programs with Ownership in SPARK
Proof-Theoretic Semantics : Some Basic Ideas
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Proof theory and the synthesis of programs: Potential and limitations
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
PROOF