| | 2000 | Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus] | | Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27 | Journal Article |  |
| | 1999 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Proceedings Article | |
| | 1998 | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Proceedings Article | |
| | 1998 | [Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph | | Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | Proceedings Article | |
| 1 |
 | Jeusfeld, Manfred A. (ed.) |
| |
| 3 |
| Jouannaud, Jean-Pierre (ed.) |
| |
| 1 |
| Kaoen, Joost-Pieter (ed.) |
| |
