HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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.

Copyright © 2012-2025 easychair.org. All rights reserved.