- Decidability of Arity-Bounded Higher-Order Matching Manfred Schmidt-Schauß Sun 17 November 2013
- Third order matching is decidable G. Dowek Tue 19 February 2013
- Higher Order beta Matching is Undecidable Ralph Loader Tue 19 February 2013
- Higher-Order Matching and Games Colin Stirling Tue 19 February 2013
- A Game-Theoretic Approach to Deciding Higher-Order Matching Colin Stirling Tue 19 February 2013
- Higher-Order Matching, Games and Automata C. Stirling Tue 19 February 2013
- Decidability of All Minimal Models (Revised Version - 2012) Vincent Padovani Tue 19 February 2013
- Decidability of fourth-order matching Vincent Padovani Tue 19 February 2013
- Dependency Tree Automata Colin Stirling Tue 19 February 2013
- Decidability of higher-order matching Colin Stirling Tue 19 February 2013
- Decidability of all minimal models Vincent Padovani Tue 19 February 2013
- Higher-Order Unification and Matching Gilles Dowek Mon 18 February 2013
Library Size: 13G (12 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
