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. FIT-TR-2008-004, Brno, 2008.
Název česky
Kombinovaná bisimulace pro stromové automaty
Typ
technická zpráva
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
Klíčová slova

stromové automaty, bisimulace, redukce velikosti

Abstrakt

Technická zpráva přidružená ke stejnojmennému článku, jehož tématem je použití kombinace dopředné a zpětné bisimulace pro redukci stromových automatů.

Rok
2008
Strany
19
Místo
FIT-TR-2008-004, Brno, CZ
BibTeX 
@TECHREPORT{FITPUB8619,
   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 = 19,
   year = 2008,
   location = "FIT-TR-2008-004, Brno, CZ",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8619"
}
Nahoru