Článek v časopise

ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. International Journal of Foundations of Computer Science. 2009, roč. 20, č. 4, 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.cs?id=9031}
}

Vaše IPv4 adresa: 54.166.15.152
Přepnout na IPv6 spojení

DNSSEC [dnssec]