Článek v časopise

 
Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Composed Bisimulation for Tree Automata, In: International Journal of Foundations of Computer Science, roč. 20, č. 4, 2009, SG, s. 685-700, ISSN 0129-0541
Jazyk publikace:angličtina
Název publikace:Composed Bisimulation for Tree Automata
Název (cs):Složená bisimulace stromových automatů
Strany:685-700
Místo vydání:SG
Rok:2009
Časopis:International Journal of Foundations of Computer Science, roč. 20, č. 4, SG
ISSN:0129-0541
URL:http://www.worldscinet.com/ijfcs/20/preserved-docs/2004/S0129054109006814.pdf [PDF]
Klíčová slova
finite tree automata, bisimulation, size reduction.
Anotace
Práce zavádí koncept složených bisimulací nad nedeterministickými stromovými automaty motivovaný jejich aplikací k redukci velikosti těchto stromových automatů.
BibTeX:
@ARTICLE{
   author = {A. Parosh Abdulla and Ahmed Bouajjani and Lukáš Holík and
	Lisa Kaati and Tomáš Vojnar},
   title = {Composed Bisimulation for Tree Automata},
   pages = {685--700},
   journal = {International Journal of Foundations of Computer Science},
   volume = {20},
   number = {4},
   year = {2009},
   ISSN = {0129-0541},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9031}
}