Detail publikace

Composed Bisimulation for Tree Automata

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, roč. 20, č. 4, 2009, s. 685-700. ISSN 0129-0541.
Název česky
Složená bisimulace stromových automatů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Bouajjani Ahmed (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Kaati Lisa (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

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ů.

Rok
2009
Strany
685-700
Časopis
International Journal of Foundations of Computer Science, roč. 20, č. 4, ISSN 0129-0541
BibTeX 
@ARTICLE{FITPUB9031,
   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 = "685--700",
   journal = "International Journal of Foundations of Computer Science",
   volume = 20,
   number = 4,
   year = 2009,
   ISSN = "0129-0541",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9031"
}
Nahoru