Automated Deduction – CADE-20
From MaRDI portal
Publication:5394613
DOI10.1007/11532231zbMath1135.03333MaRDI QIDQ5394613
Boris Konev, Frank Wolter, Michael Zakharyashchev
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Related Items
The ω-Regular Post Embedding Problem, Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems, On dynamic topological and metric logics, Non-primitive recursive decidability of products of modal logics with expanding domains, Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting