Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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	BibTeX cite key
Rahman, Rückert, Fischmann
Ratschan
Ratschan, She
Ratschan, Smaus
Ratschan, Vehi
Rau
Reinold
Rock
Rybalchenko
Rybalchenko, Sofronie-Stokkermans
Schäf
Schlobach
Schmidt
Schmidt, Hustadt
Schmidt, Orłowska, Hustadt
Schmidt, Tishkovsky
Schmidt, Tishkovsky, Hustadt
Schmolzi
She, Ratschan
She, Xia, Xiao
Simon, Freiheit, Olbrich
Smaus
Socher-Ambrosius
	1994		A Refined Version of General E-Unification In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677	socher94a
	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	Socher93a
	1992		A Goal Oriented Strategy Based on Completion In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445	socher92a
	1992		How to Avoid the Derivation of Redundant Clauses in Reasoning Systems In: Journal of Automated Reasoning [9], 325-336	socher92b
	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	socher91a
	1991		On the Church-Rosser Property in Left-Linear Systems	socher91d
	1991		On the Relation Between Completion Based and Resolution Based Theorem Proving In: Journal of Symbolic Computation [11], 129-148	socher91c

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