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