dblp.uni-trier.dewww.uni-trier.de

Joachim Steinbach (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Avenhaus, Klaus Madlener, Joachim Steinbach: COMTES - An Experimental Environment for the Completion of Term Rewriting Systems. RTA 1989: 542-546
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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

Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)