Michael Bertol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1995–1996
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | STACS | Trace Rewriting: Computing Normal Forms in Time O(n log n). | Michael Bertol, Volker Diekert |
| 1995 | FCT | Efficient Rewriting in Cograph Trace Monoids. | Michael Bertol |
| 1995 | ICALP | Nonfinite Axiomatizability of the Equational Theory of Shuffle. | Zoltn sik, Michael Bertol |