BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × USA
Collaborated with:
∅ J.Avenhaus K.Madlener
Talks about:
order (4) termin (2) system (2) rewrit (2) experiment (1) comparison (1) transform (1) simplif (1) environ (1) complet (1)

Person: Joachim Steinbach

DBLP DBLP: Steinbach:Joachim

Contributed to:

RTA 19951995
ALP 19901990
CADE 19901990
RTA 19891989

Wrote 5 papers:

RTA-1995-Steinbach #automation #order #proving #termination
Automatic Termination Proofs With Transformation Orderings (JS), pp. 11–25.
ALP-1990-Steinbach #term rewriting
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering (JS), pp. 372–386.
CADE-1990-Steinbach #order
Improving Assoviative Path Orderings (JS), pp. 411–425.
RTA-1989-AvenhausMS #named #term rewriting
COMTES — An Experimental Environment for the Completion of Term Rewriting Systems (JA, KM, JS), pp. 542–546.
RTA-1989-Steinbach #comparison #order
Extensions and Comparison of Simplification Orderings (JS), pp. 434–448.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.