Tudományterület szerző szerint "Waldmann, Johannes"

Vissza
Export [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 2.

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

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

A lista elkészítésének dátuma 2017. december 11. 22:09:46 CET.