MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

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
#YearAuthor(s) [non member]Editor(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
Show details for Narendran, PaliathNarendran, Paliath
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
Hide details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
2001de Nivelle, Hans
[Pratt-Hartmann, Ian]		[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]		A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225		Proceedings Article
2001Ganzinger, Harald
[McAllester, David]		[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]		Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528		Proceedings Article
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]		[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]		Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256		Proceedings Article
2001[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]		[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]		Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271		Proceedings Article
2001Waldmann, Uwe[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]		Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241		Proceedings Article

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