HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

UNIF 2013: Author Index

AuthorPapers
A
Alpuente, MaríaDetecting Modular ACU Structural Symmetries
B
Baader, FranzHybrid Unification in the Description Logic EL
Baumgartner, AlexanderUnranked Anti-Unification with Hedge and Context Variables
Brahmakshatriya, ShreyabenUnication Problems Modulo a Theory of Until
D
Danturi, SushmaUnication Problems Modulo a Theory of Until
E
Erbatur, SerdarHierarchical Combination of Unication Algorithms (Extended Abstract)
Escobar, SantiagoUnification and Anti-unification modulo Equational Theories
Detecting Modular ACU Structural Symmetries
Espert, JavierDetecting Modular ACU Structural Symmetries
F
Fernandez Gil, OliverHybrid Unification in the Description Logic EL
G
Gero, KimberlyUnication Problems Modulo a Theory of Until
K
Kapur, DeepakHierarchical Combination of Unication Algorithms (Extended Abstract)
Kutsia, TemurAnti-Unification: Algorithms and Applications
Unranked Anti-Unification with Hedge and Context Variables
M
Marshall, Andrew M.Hierarchical Combination of Unication Algorithms (Extended Abstract)
Morawska, BarbaraHybrid Unification in the Description Logic EL
N
Narendran, PaliathUnication Problems Modulo a Theory of Until
Hierarchical Combination of Unication Algorithms (Extended Abstract)
Novikova, TatyanaIs it possible to unify sequential programs?
R
Ringeissen, ChristopheHierarchical Combination of Unication Algorithms (Extended Abstract)
Z
Zakharov, VladimirIs it possible to unify sequential programs?
Copyright © 2012-2025 easychair.org. All rights reserved.