- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kassel, Universität Kassel, Dissertation, 2018
- Keyword
-
Order
Modality (Logic)
Logik
Modallogik
Modelltheorie
Automatentheorie
- Event
-
Veröffentlichung
- (where)
-
Kassel
- (who)
-
Universitätsbibliothek Kassel
- (when)
-
2020
- Creator
-
Bruse, Florian
- DOI
-
10.17170/kobra-202008091547
- URN
-
urn:nbn:de:101:1-2020110510195839110610
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 PM CET
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.
Associated
- Bruse, Florian
- Universitätsbibliothek Kassel
Time of origin
- 2020
Other Objects (12)
Topos semantics for higher-order modal logic
Higher-order constraint logic programming
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Counterexample generation for higher-order logic using functional and logic programming
Proving theorems of higher-order logic with SMT solvers
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
Modal logic
Topos semantics for higher-order modal logic
Higher-order constraint logic programming
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Counterexample generation for higher-order logic using functional and logic programming
Proving theorems of higher-order logic with SMT solvers
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
Modal logic
Topos semantics for higher-order modal logic
Higher-order constraint logic programming
Code generation from specifications in higher-order logic
Automatic proofs and refutations for higher-order logic
Automatic Proofs and Refutations for Higher-Order Logic
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Counterexample generation for higher-order logic using functional and logic programming
Proving theorems of higher-order logic with SMT solvers
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