MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Nadif, Mohamed (ed.)Nadif, Mohamed (ed.)
1
Show details for Näher, Stefan (ed.)Näher, Stefan (ed.)
1
Show details for Namjoshi, Kedar S. (ed.)Namjoshi, Kedar S. (ed.)
1
Show details for Napoli, Amedeo (ed.)Napoli, Amedeo (ed.)
1
Show details for Nardi, D. (ed.)Nardi, D. (ed.)
2
Hide details for Narendran, PaliathNarendran, Paliath
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]		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
1
Show details for Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1
Show details for Naumann, StefanNaumann, Stefan
1
Show details for Nau, Dana (ed.)Nau, Dana (ed.)
2
Show details for Nebel, BernhardNebel, Bernhard
1
Show details for Nebel, Bernhard Nebel (ed.)Nebel, Bernhard Nebel (ed.)
5
Show details for Nebel, Bernhard (ed.)Nebel, Bernhard (ed.)
1
Show details for Nebel, B. (ed.)Nebel, B. (ed.)
1
Show details for Nejdl, W. (ed.)Nejdl, W. (ed.)
1
Show details for Neuman, B. (ed.)Neuman, B. (ed.)
1
Show details for Ng, Raymond (ed.)Ng, Raymond (ed.)
4
Show details for Niehren, JoachimNiehren, Joachim
1
Show details for Nielsen, Mogen (ed.)Nielsen, Mogen (ed.)
3
Show details for Nielsen, Mogens (ed.)Nielsen, Mogens (ed.)
1
Show details for Nielsen, Thomas D. (ed.)Nielsen, Thomas D. (ed.)
1
Show details for Nielson, FlemmingNielson, Flemming
1
Show details for Niemelä, Ilkka (ed.)Niemelä, Ilkka (ed.)
6
Show details for Nieuwenhuis, RobertNieuwenhuis, Robert
4
Show details for Nieuwenhuis, Robert (ed.)Nieuwenhuis, Robert (ed.)
9
Show details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
1
Show details for Nivat, MauriceNivat, Maurice
2
Show details for Nivat, Maurice (ed.)Nivat, Maurice (ed.)
2
Show details for Nivela, PilarNivela, Pilar

Next Page