UNIF@RTA/TLCA

Keyphrases

Publications

2013

Alexander Baumgartner, Temur Kutsia
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA (2013)
Franz Baader, Oliver Fernandez Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA (2013)
Temur Kutsia
Anti-Unification: Algorithms and Applications. UNIF@RTA/TLCA (2013)
Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran
Unication Problems Modulo a Theory of Until. UNIF@RTA/TLCA (2013)
Tatiana Novikova, Vladimir Zakharov
Is it possible to unify sequential programs? UNIF@RTA/TLCA (2013)
Santiago Escobar
Unification and Anti-unification modulo Equational Theories. UNIF@RTA/TLCA (2013)
María Alpuente, Santiago Escobar, Javier Espert
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA (2013)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA (2013)

volume 19, 2013

27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 UNIF@RTA/TLCA 19 (2013)