Similar Items: Decidable Expansions of Labelled Linear Orderings
- Decidability of higher-order matching
- Craig Interpolation for Decidable First-Order Fragments
- Taylor expansion in linear logic is invertible
- Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
- Petri Net Reachability Graphs: Decidability Status of First Order Properties
- Decidability of Querying First-Order Theories via Countermodels of Finite Width