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

Michael Bertol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
6EEZoltán Ésik, Michael Bertol: Nonfinite Axiomatizability of the Equational Theory of Shuffle. Acta Inf. 35(6): 505-539 (1998)
1996
5 Michael Bertol, Volker Diekert: Trace Rewriting: Computing Normal Forms in Time O(n log n). STACS 1996: 269-280
1995
4 Michael Bertol: Efficient Rewriting in Cograph Trace Monoids. FCT 1995: 146-155
3 Zoltán Ésik, Michael Bertol: Nonfinite Axiomatizability of the Equational Theory of Shuffle. ICALP 1995: 27-38
2 Michael Bertol, Klaus Reinhardt: The Tautologies over a Finite Set are Context-Free. Bulletin of the EATCS 57: (1995)
1993
1 Michael Bertol, Volker Diekert: On Efficient Reduction Algorithms for Some Trace Rewriting Systems. Term Rewriting 1993: 114-126

Coauthor Index

1Volker Diekert [1] [5]
2Zoltán Ésik [3] [6]
3Klaus Reinhardt [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)