Hochschulschrift
Proofs, programs and executable specifications in higher order logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
X, 161 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
München, Techn. Univ., Diss., 2003 (Nicht für den Austausch)
- Classification
-
Informatik
- Keyword
-
Automatisches Beweisverfahren
Framework
Isabelle
Logische Programmierung / Softwarespezifikation; Automatisches Beweisverfahren / Logische Programmierung / Konstruktive Logik
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:45 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Proofs, programs and executable specifications in higher order logic
Termination proofs for logic programs
Termination proofs for logic programs
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Learning higher-order logic programs
Code generation from specifications in higher-order logic
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Automating recursive definitions and termination proofs in higher-order logic
Programs, proofs, processes : proceedings
Proofs, programs and executable specifications in higher order logic
Termination proofs for logic programs
Termination proofs for logic programs
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Learning higher-order logic programs
Code generation from specifications in higher-order logic
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Automating recursive definitions and termination proofs in higher-order logic
Programs, proofs, processes : proceedings
Proofs, programs and executable specifications in higher order logic
Termination proofs for logic programs
Termination proofs for logic programs
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Learning higher-order logic programs
Code generation from specifications in higher-order logic
Reconstructing a logic for inductive proofs of properties of functional programs
Reconstructing a logic for inductive proofs of properties of functional programs
Automating recursive definitions and termination proofs in higher-order logic