Michael Bertol

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

University of Stuttgart, Germany (PHD)

Education History

University of Stuttgart, Germany

PHD

Publications

Zoltán Ésik, Michael Bertol
Nonfinite Axiomatizability of the Equational Theory of Shuffle. Acta Informatica 35 (6) (1998)
Michael Bertol, Volker Diekert
Trace Rewriting: Computing Normal Forms in Time O(n log n). STACS (1996)
Michael Bertol, Klaus Reinhardt
The Tautologies over a Finite Set are Context-Free. Bull. EATCS 57 (1995)
Zoltán Ésik, Michael Bertol
Nonfinite Axiomatizability of the Equational Theory of Shuffle. ICALP (1995)
Michael Bertol
Efficient Rewriting in Cograph Trace Monoids. FCT (1995)
Michael Bertol, Volker Diekert
On Efficient Reduction Algorithms for Some Trace Rewriting Systems. Term Rewriting (1993)