Search the dblp DataBase
Roland Fettig :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Arnim Buch , Thomas Hillenbrand , Roland Fettig WALDMEISTER: High Performance Equational Theorem Proving. [Citation Graph (0, 0)][DBLP ] DISCO, 1996, pp:63-64 [Conf ] Thomas Hillenbrand , Arnim Buch , Roland Fettig On Gaining Efficiency in Completion-Based Theorem Proving. [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:432-435 [Conf ] Roland Fettig , Bernd Löchner Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:347-361 [Conf ] Klaus Schmid , Roland Fettig Towards an Efficient Construction of Test Sets for Deciding Ground Reducability. [Citation Graph (0, 0)][DBLP ] RTA, 1995, pp:86-100 [Conf ] Search in 0.001secs, Finished in 0.001secs