Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Year	Author(s) [non member]	Editor(s) [non member]		Title	Type
1	Nadif, Mohamed (ed.)
1	Näher, Stefan (ed.)
1	Namjoshi, Kedar S. (ed.)
1	Napoli, Amedeo (ed.)
1	Nardi, D. (ed.)
2	Narendran, Paliath
1	Narendran, Paliath (ed.)
1	Naumann, Stefan
1	Nau, Dana (ed.)
2	Nebel, Bernhard
1	Nebel, Bernhard Nebel (ed.)
5	Nebel, Bernhard (ed.)
1	Nebel, B. (ed.)
1	Nejdl, W. (ed.)
1	Neuman, B. (ed.)
1	Ng, Raymond (ed.)
4	Niehren, Joachim
1	Nielsen, Mogen (ed.)
3	Nielsen, Mogens (ed.)
1	Nielsen, Thomas D. (ed.)
1	Nielson, Flemming
1	Niemelä, Ilkka (ed.)
6	Nieuwenhuis, Robert
4	Nieuwenhuis, Robert (ed.)
9	Nipkow, Tobias (ed.)
1	Nivat, Maurice
2	Nivat, Maurice (ed.)
2	Nivela, Pilar
		2004	Ganzinger, Harald [Nieuwenhuis, Robert] [Nivela, Pilar]			Fast Term Indexing with Coded Context Trees In: Journal of Automated Reasoning [32], 103-120	Journal Article
		2001	Ganzinger, Harald [Nieuwenhuis, Robert] [Nivela, Pilar]	[Goré, Rajeev] [Leitsch, Alexander] [Nipkow, Tobias]		Context trees In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256	Proceedings Article

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)