Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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		Title	Type
1	Schäf
1	Schlobach
9	Schmidt
1	Schmidt, Hustadt
1	Schmidt, Orłowska, Hustadt
4	Schmidt, Tishkovsky
2	Schmidt, Tishkovsky, Hustadt
1	Schmolzi
1	She, Ratschan
1	She, Xia, Xiao
1	Simon, Freiheit, Olbrich
1	Smaus
8	Socher-Ambrosius
27	Sofronie-Stokkermans
1	Sofronie-Stokkermans, Stokkermans
4	Struth
9	Stuber
		2000		Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), 229-245	Proceedings Article
		1999		Superposition Theorem Proving for Commutative Algebraic Theories Universität des Saarlandes	Thesis - PhD thesis
		1999		Theory path orderings In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162	Proceedings Article
		1998		Superposition theorem proving for abelian groups represented as integer modules In: Theoretical Computer Science [208], 149-177	Journal Article
		1998		Superposition theorem proving for commutative rings In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55	Part of a Book
		1997		Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129	Proceedings Article
		1996		Superposition Theorem Proving for Abelian Groups Represented as Integer Modules In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47	Proceedings Article
		1994		Computing Stable Models by Program Transformation In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73	Proceedings Article
		1991		Inductive Theorem Proving for Horn Clauses Universität Dortmund	Thesis - Masters thesis
1	Suchanek
2	Talbot
1	Talbot, Devienne, Tison
1	Talbot, Niehren, Müller

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