|
Search the dblp DataBase
Michael Bertol:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michael Bertol, Volker Diekert
On Efficient Reduction Algorithms for Some Trace Rewriting Systems. [Citation Graph (0, 0)][DBLP] Term Rewriting, 1993, pp:114-126 [Conf]
- Michael Bertol
Efficient Rewriting in Cograph Trace Monoids. [Citation Graph (0, 0)][DBLP] FCT, 1995, pp:146-155 [Conf]
- Zoltán Ésik, Michael Bertol
Nonfinite Axiomatizability of the Equational Theory of Shuffle. [Citation Graph (0, 0)][DBLP] ICALP, 1995, pp:27-38 [Conf]
- Michael Bertol, Volker Diekert
Trace Rewriting: Computing Normal Forms in Time O(n log n). [Citation Graph (0, 0)][DBLP] STACS, 1996, pp:269-280 [Conf]
- Zoltán Ésik, Michael Bertol
Nonfinite Axiomatizability of the Equational Theory of Shuffle. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:6, pp:505-539 [Journal]
- Michael Bertol, Klaus Reinhardt
The Tautologies over a Finite Set are Context-Free. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1995, v:57, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|