Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. L. J. M. Janssen
Implementation of Propositional Temporal Logics Using BDDs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Super-Łukasiewicz Propositional Logics
Nagoya Mathematical Journal
Mathematics
Compact Propositional Godel Logics
Labelled Propositional Modal Logics: Theory and Practice
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
Fibring Epistemic and Temporal Logics
Logic and Logical Philosophy
Philosophy
Tailoring Temporal Description Logics for Reasoning Over Temporal Conceptual Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finding Compact BDDs Using Genetic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Temporal Logic and Propositional Schemata, Back and Forth
