HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:combination

Publications
Hierarchical Combination of Unication Algorithms (Extended Abstract)
Serdar Erbatur, Deepak Kapur, Andrew M Marshall, Paliath Narendran and Christophe Ringeissen
In:UNIF 2013. 27th International Workshop on Unification
Copyright © 2012-2025 easychair.org. All rights reserved.