Higher-Order Matching and Tree Automata

Constraint solving on terms

Constraints in computational logics

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics

A Decidable Variant of Higher Order Matching

RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications

Higher-Order Positive Set Constraints

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

Higher-Order Pattern Matching for Automatically Applying Fusion Transformations

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects

Complexity of the higher order matching

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction

Higher-order unification and matching

Handbook of automated reasoning

Decidability of fourth-order matching

Mathematical Structures in Computer Science

Higher-order beta matching with solutions in long beta-eta normal form

Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005

Model-Checking Games for Typed λ-Calculi

Electronic Notes in Theoretical Computer Science (ENTCS)

Games, Automata and Matching

CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction

Dependency Tree Automata

FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

Recognizability in the Simply Typed Lambda-Calculus

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation

Decidability of bounded higher-order unification

Journal of Symbolic Computation

A game-theoretic approach to deciding higher-order matching

ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II

Twenty years later

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications

Higher-order matching and games

CSL'05 Proceedings of the 19th international conference on Computer Science Logic

Introduction to decidability of higher-order matching

FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures