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	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.)
1	Scannapieco, Monica (ed.)
1	Schader, M. (ed.)
2	Schaefer, Ina
1	Schäfers, Renate
1	Schäf, Martin
1	Schaub, Torsten (ed.)
1	Schirmer, Norbert
1	Schlobach, Stefan
1	Schmidt, G. (ed.)
36	Schmidt, Renate A.
2	Schmidt, Renate (ed.)
3	Schmitt, Peter H. (ed.)
		1998	Bachmair, Leo Ganzinger, Harald	Bibel, Wolfgang Schmitt, Peter H.		Equational Reasoning in Saturation-Based Theorem Proving In: Automated Deduction: A Basis for Applications, 353-397	Part of a Book
		1998	Stuber, Jürgen	[Bibel, Wolfgang] [Schmitt, Peter H.]		Superposition theorem proving for commutative rings In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55	Part of a Book
		1998	Weidenbach, Christoph	[Bibel, Wolfgang] [Schmitt, Peter H.]		Sorted Unification and Tree Automata In: Automated Deduction - A Basis for Applications, 291-320	Part of a Book
1	Schmolzi, Christian
1	Scholl, Christoph
1	Schöttle, Hendrik
2	Schubert, Lenhart (ed.)
2	Schulz, Andreas S.

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