Monografie
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
- Sprache
-
Englisch
- Identifier
-
1106382153
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 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
- Monografie
Beteiligte
- Kunčar, Ondřej
- Nipkow, Tobias
- Paulson, Lawrence C.
Ähnliche Objekte (12)
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping
A statically typed logic context query language with parametric polymorphism and subtyping
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Automatic Proofs and Refutations for Higher-Order Logic
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
SAT-based finite model generation for higher-order logic
Proving Theorems of Higher-Order Logic with SMT Solvers
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping
A statically typed logic context query language with parametric polymorphism and subtyping
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Automatic Proofs and Refutations for Higher-Order Logic
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
SAT-based finite model generation for higher-order logic
Proving Theorems of Higher-Order Logic with SMT Solvers
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping
A statically typed logic context query language with parametric polymorphism and subtyping
Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism
Extremal fixpoints for higher-order modal logic
Topos semantics for higher-order modal logic
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Automatic Proofs and Refutations for Higher-Order Logic
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
SAT-based finite model generation for higher-order logic