Článek ve sborníku konference

ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. In: Implementation and Application of Automata. Berlin: Springer Verlag, 2008, s. 212-222. ISBN 978-3-540-70843-8.
Jazyk publikace:angličtina
Název publikace:Composed Bisimulation for Tree Automata
Název (cs):Kombinovaná bisimulace pro stromové automaty
Strany:212-222
Sborník:Implementation and Application of Automata
Konference:13th International Conference on Implementation and Application of Automata -- CIAA'08
Řada knih:LNCS 5148
Místo vydání:Berlin, DE
Rok:2008
ISBN:978-3-540-70843-8
Vydavatel:Springer Verlag
Klíčová slova
stromové automaty, bisimulace, redukce velikosti
Anotace
Zabíváme se problémem bisimulační redukce stromových automatů. Přinášíme nový způsob kombinace tzv. horní a dolní bisimulace a metodu převodu problému výpočtu stromových bisimulací na problém výpočtu klasických slovních bisimulací (nad přechodovými systémy).
BibTeX:
@INPROCEEDINGS{
   author = {A. Parosh Abdulla and Ahmed Bouajjani and
	Luk{\'{a}}{\v{s}} Hol{\'{i}}k and Lisa Kaati and
	Tom{\'{a}}{\v{s}} Vojnar},
   title = {Composed Bisimulation for Tree Automata},
   pages = {212--222},
   booktitle = {Implementation and Application of Automata},
   series = {LNCS 5148},
   year = 2008,
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-540-70843-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8671}
}

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https