Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Norbert Preining
SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
Decidability and Undecidability of Marked PCP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy Description Logics Under Gödel Semantics
International Journal of Approximate Reasoning
Applied Mathematics
Theoretical Computer Science
Artificial Intelligence
Software
On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
A Finite Model Property for Gödel Modal Logics
Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables
Journal of Symbolic Logic
Philosophy
Logic
Axiom Pinpointing in Lightweight Description Logics via Horn-Sat Encoding and Conflict Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Undecidability in the Act . . .
The Undecidable Unconscious: A Journal of Deconstruction and Psychoanalysis
