1 |
| D'Agostino, Marcello (ed.) |
| |
1 |
| De Giacomo, Giuseppe (ed.) |
| |
| | 2000 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | | | Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184 | Journal Article | |
| | 1998 | [Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei] | [Nipkow, Tobias] | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Proceedings Article | |