Items where Author is " Waldmann Johannes"

Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Koprowski Adam and Waldmann Johannes: Max/plus tree automata for termination of term rewriting. In: Acta cybernetica, (19) 2. pp. 357-392. (2009)

Gebhardt Andreas and Waldmann Johannes: Weighted automata define a hierarchy of terminating string rewriting systems. In: Acta cybernetica, (19) 2. pp. 295-312. (2009)

This list was generated on 2023. március 22. 01:01:54 CET.