The following pages link to Automated Deduction – CADE-20 (Q5394613):
Displaying 5 items.
- On dynamic topological and metric logics (Q865049) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- The ω-Regular Post Embedding Problem (Q5458353) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)
