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	Rahman, Rückert, Fischmann
4	Ratschan
3	Ratschan, She
1	Ratschan, Smaus
1	Ratschan, Vehi
1	Rau
1	Reinold
1	Rock
2	Rybalchenko
1	Rybalchenko, Sofronie-Stokkermans
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
		1994		A Refined Version of General E-Unification In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677	Proceedings Article
		1993		Unification in Order-Sorted Logic with Term Declarations In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308	Proceedings Article
		1992		A Goal Oriented Strategy Based on Completion In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445	Proceedings Article
		1992		How to Avoid the Derivation of Redundant Clauses in Reasoning Systems In: Journal of Automated Reasoning [9], 325-336	Journal Article
		1991		Boolean Algebra Admits no Convergent Term Rewriting System In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274	Proceedings Article
		1991		On the Church-Rosser Property in Left-Linear Systems	Report
		1991		On the Relation Between Completion Based and Resolution Based Theorem Proving In: Journal of Symbolic Computation [11], 129-148	Journal Article

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