BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Japan
1 × Spain
2 × USA
Collaborated with:
F.Otto J.Avenhaus A.Sattler-Klein P.Narendran J.Steinbach B.Benninghofen R.Göbel
Talks about:
rewrit (5) system (4) present (3) monoid (3) complet (2) string (2) group (2) finit (2) term (2) experiment (1)

Person: Klaus Madlener

DBLP DBLP: Madlener:Klaus

Contributed to:

RTA 19981998
RTA 19961996
ICALP 19911991
RTA 19891989
RTA 19871987
CADE 19861986

Wrote 6 papers:

RTA-1998-OttoSM #automation #convergence #finite #monad
Automatic Monoids Versus Monoids with Finite Convergent Presentations (FO, ASK, KM), pp. 32–46.
RTA-1996-Madlener #monad
Applications of Rewrite Techniques in Monoids and Rings (KM), p. 260.
ICALP-1991-MadlenerNO #monad #string #term rewriting
A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups (KM, PN, FO), pp. 279–290.
RTA-1989-AvenhausMS #named #term rewriting
COMTES — An Experimental Environment for the Completion of Term Rewriting Systems (JA, KM, JS), pp. 542–546.
RTA-1987-MadlenerO #finite #string #term rewriting
Groups Presented by Certain Classes of Finite Length-Reducing String-Rewriting Systems (KM, FO), pp. 133–144.
CADE-1986-AvenhausBGM #algebra #named #specification #term rewriting
TRSPEC: A Term Rewriting Based System for Algebraic Specifications (JA, BB, RG, KM), pp. 665–667.

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.