Szerző: " Waldmann Johannes"

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

Cikk, tanulmány, mű

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

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

A lista elkészítésének dátuma 2024. április 23. 14:55:27 CEST.