|
|
|
BACK TO INDEX
Publications of Johannes Waldmann in Acta Cybernetica.
-
Andreas Gebhardt and Johannes Waldmann.
Weighted Automata Define a Hierarchy of Terminating String Rewriting Systems.
Acta Cybernetica,
19(2):295-312,
2009.
[ PDF ]
-
Adam Koprowski and Johannes Waldmann.
Max/Plus Tree Automata for Termination of Term Rewriting.
Acta Cybernetica,
19(2):357-392,
2009.
[ PDF ]
BACK TO INDEX
This document was translated from BibTEX by
bibtex2html
|
|
|