HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Anti-Unification with Skeletons

Publications
Unranked Anti-Unification with Hedge and Context Variables
Alexander Baumgartner and Temur Kutsia
In:UNIF 2013. 27th International Workshop on Unification
Copyright © 2012-2025 easychair.org. All rights reserved.