Hochschulschrift
Counterexample generation for higher-order logic using functional and logic programming
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
X, 107 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
München, Techn. Univ., Diss., 2013 (Nicht für den Austausch)
- 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, 2:30 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)
Higher-order constraint logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
Proving Theorems of Higher-Order Logic with SMT Solvers
SAT-based finite model generation for higher-order logic
Proving theorems of higher-order logic with SMT solvers
Higher-order constraint logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
Proving Theorems of Higher-Order Logic with SMT Solvers
SAT-based finite model generation for higher-order logic
Proving theorems of higher-order logic with SMT solvers
Higher-order constraint logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
Proving Theorems of Higher-Order Logic with SMT Solvers
SAT-based finite model generation for higher-order logic