Author:Alexander Baumgartner

Publications
Unranked Anti-Unification with Hedge and Context Variables Alexander Baumgartner and Temur Kutsia In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

Anti-Unification with Skeletons, Generalization with Hedge and Context Variables, Least General Rigid Generalization, Parametrized Rigid Higher-Order Generalization, Unranked Higher-Order Anti-Unification.