Thomas Rath (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Uwe Egly, Thomas Rath: Practically Useful Variants of Definitional Translations to Normal Form. Inf. Comput. 162(1-2): 255-264 (2000)

4 Uwe Egly, Thomas Rath: On the Practical Value of Different Definitional Translations to Normal Form. CADE 1996: 403-417

3 Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath: Issues in Theorem Proving Based on the Connection Method. TABLEAUX 1995: 1-16

2 Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath: KoMeT. CADE 1994: 783-787

Selection of 4 from 6 records - Thomas Rath has 7 coauthors

5		Uwe Egly, Thomas Rath: Practically Useful Variants of Definitional Translations to Normal Form. Inf. Comput. 162(1-2): 255-264 (2000)
4		Uwe Egly, Thomas Rath: On the Practical Value of Different Definitional Translations to Normal Form. CADE 1996: 403-417
3		Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath: Issues in Theorem Proving Based on the Connection Method. TABLEAUX 1995: 1-16
2		Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath: KoMeT. CADE 1994: 783-787