Items where Author is "Waldmann, Johannes"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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. Acta cybernetica, (19) 2. pp. 357-392. (2009)

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

This list was generated on 2020. február 20. 01:57:46 CET.