research
∙
02/01/2023
Anti-unification and Generalization: A Survey
Anti-unification (AU), also known as generalization, is a fundamental op...
share
research
∙
09/06/2021
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
This volume contains papers presented at the Ninth International Symposi...
research
∙
02/16/2021
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
A sound and complete algorithm for nominal unification of higher-order e...
research
∙
01/23/2018
Higher-Order Equational Pattern Anti-Unification [Preprint]
We consider anti-unification for simply typed lambda terms in associativ...
research
∙
09/07/2017