Joachim Steinbach (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Jürgen Avenhaus, Klaus Madlener, Joachim Steinbach: COMTES - An Experimental Environment for the Completion of Term Rewriting Systems. RTA 1989: 542-546

2 Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CTRS 1987: 245-248

Selection of 2 from 14 records - Joachim Steinbach has 12 coauthors

3		Jürgen Avenhaus, Klaus Madlener, Joachim Steinbach: COMTES - An Experimental Environment for the Completion of Term Rewriting Systems. RTA 1989: 542-546
2		Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CTRS 1987: 245-248