| | 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 | [Wiedermann, Jiri]
[van Emde Boas, Peter]
[Nielsen, Mogen] | | 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 | [Hsiang, Jieh]
[Ohori, Atsushi] | | 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 | [Nipkow, Tobias] | | 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.) |
| |