- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kassel, Universität Kassel, Dissertation, 2018
- Schlagwort
-
Order
Modality (Logic)
Logik
Modallogik
Modelltheorie
Automatentheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
Kassel
- (wer)
-
Universitätsbibliothek Kassel
- (wann)
-
2020
- Urheber
-
Bruse, Florian
- DOI
-
10.17170/kobra-202008091547
- URN
-
urn:nbn:de:101:1-2020110510195839110610
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 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.
Beteiligte
- Bruse, Florian
- Universitätsbibliothek Kassel
Entstanden
- 2020
Ähnliche Objekte (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
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
Free Higher-Order Logic - Notion, Definition and Embedding in HOL
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
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
Free Higher-Order Logic - Notion, Definition and Embedding in HOL
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
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