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
3	Rock, Georg
		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
		1996	Weidenbach, Christoph [Gaede, Bernd] [Rock, Georg]	[McRobbie, M. A.] [Slaney, J. K.]		SPASS & FLOTTER, Version 0.42 In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145	Proceedings Article
		1995	Rock, Georg			Transformations of First-Order Formulae for Automated Reasoning Universität des Saarlandes	Thesis - Masters thesis
2	Rodríguez-Artalejo, Mario (ed.)
1	Rolim, José (ed.)
1	Rollinger, Claus-Rainer (ed.)
1	Romina, Anya
2	Rossi, Francesca (ed.)
2	Rote, Günter
2	Rott, Hans (ed.)
1	Rowles, C. (ed.)
1	Roy, Marie-Franccoise (ed.)
1	Rückert, Helge
2	Rump, Frank J. (ed.)
3	Rusinowitch, Michael (ed.)
1	Rusinowitch, M. (ed.)
1	Rus, Teodor (ed.)
1	Ruzicka, Peter (ed.)
20	Rybalchenko, Andrey
1	Sabharwal, Ashish
1	Sabin, Mihaela (ed.)
1	Sagiv, Mooly (ed.)
1	Sagiv, Yehoshua (ed.)
1	Salzer, Gernot (ed.)
1	Sandewall, E. (ed.)
1	SanJuan, Eric (ed.)
1	Sannella, Don (ed.)
2	Sasikumar, M. (ed.)
1	Sattler, Ulrike (ed.)

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