Decidability issues for processes with infinitely many states

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kučera, Antonín, 1971- (Autor práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Angličtina
Vydáno: Brno, 1997.
Témata:
disertace
Obálka
Popis
Fyzický popis:viii, 119 s.

Podobné jednotky