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	Kaelbling, Leslie (ed.)
1	Kakas, A. C. (ed.)
1	Kaoen, Joost-Pieter (ed.)
1	Kaplan, St. (ed.)
2	Kapur, Deepak (ed.)
2	Kapur, D. (ed.)
1	Karmann, A. (ed.)
4	Kasper, Thomas
1	Kaufmann, Matt
1	Kaufmann, Matt (ed.)
1	Kaufmann, Stefan (ed.)
1	Kavitha, M. (ed.)
6	Kazakov, Yevgeny
3	Keen, Enno
1	Kepser, Stephan (ed.)
1	Kerber, Manfred
1	Kerber, Manfred (ed.)
1	Kerner, I. O. (ed.)
1	Khasidashvili, Zurab (ed.)
1	Kijania-Placek, Katarzyna (ed.)
1	Kindler, Ekkart
4	Kirchner, Claude (ed.)
		1998	Bachmair, Leo Ganzinger, Harald	Kirchner, Claude Kirchner, Hélène		Strict Basic Superposition In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174	Proceedings Article
		1998	Bachmair, Leo Ganzinger, Harald Voronkov, Andrei	Kirchner, Claude Kirchner, Hélène		Elimination of Equality via Transformation with Ordering Constraints In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190	Proceedings Article
		1998	Nonnengart, Andreas [Rock, Georg] Weidenbach, Christoph	[Kirchner, Claude] [Kirchner, Hélène]		On Generating Small Clause Normal Forms In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411	Proceedings Article
		1998	Waldmann, Uwe	[Kirchner, Claude] [Kirchner, Hélène]		Superposition for Divisible Torsion-Free Abelian Groups In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159	Proceedings Article
7	Kirchner, Hélène (ed.)
1	Kirchner, H. (ed.)
2	Klarlund, Nils
2	Klawonn, Frank

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