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	Lakemeyer, Gerhard (ed.)
1	Lam, Patrick
2	Lang, Jérôme
1	Lang, Jerome (ed.)
1	Laskey, Kathryn B. (ed.)
1	Lassez, J. L. (ed.)
2	Laux, Arnim (ed.)
1	Lau, Kung-Kiu (ed.)
1	Lau, K. K. (ed.)
1	Le Charlier, Baudouin (ed.)
1	Le Métayer, Daniel (ed.)
1	Leeser, M. E.
3	Lee, Chin Soon
1	Lee, Sau Dan
2	Lee, Shie-Jue
1	Lehmann, Jos (ed.)
2	Leite, João (ed.)
1	Leitsch, Alexander
6	Leitsch, Alexander (ed.)
		2001	de 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
		2001	Ganzinger, Harald [McAllester, David]	[Goré, Rajeev] [Leitsch, Alexander] [Nipkow, Tobias]		A new meta-complexity theorem for bottom-up logic programs In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528	Proceedings 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
		2001	[Nieuwenhuis, Robert] Hillenbrand, Thomas [Riazanov, Alexandre] [Voronkov, Andrei]	[Goré, Rajeev] [Leitsch, Alexander] [Nipkow, Tobias]		On the Evaluation of Indexing Techniques for Theorem Proving In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271	Proceedings Article
		2001	Waldmann, 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
		1993	[Bachmair, Leo] Ganzinger, Harald Waldmann, Uwe	[Gottlob, Georg] [Leitsch, Alexander] [Mundici, Daniele]		Superposition with simplification as a decision procedure for the monadic class with equality In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96	Proceedings Article
1	Leitsch, A. (ed.)
1	Lenzerini, Maurizio (ed.)
1	Lenzerini, M. (ed.)
1	Leone, Nicola (ed.)
2	Letz, Reinhold

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