Similar Items: Decidability of higher-order matching
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- Decidable Expansions of Labelled Linear Orderings
- Craig Interpolation for Decidable First-Order Fragments
- Higher Order Automatic Differentiation of Higher Order Functions
- Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
- Petri Net Reachability Graphs: Decidability Status of First Order Properties