|
|
UNIF 2013: Author IndexAuthor | 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? |
|
|
|