Detail publikace

Composed Bisimulation for Tree Automata

HOLÍK, L., VOJNAR, T., ABDULLA, P., BOUAJJANI, A., KAATI, L. Composed Bisimulation for Tree Automata. FIT-TR-2008-004, Brno: 2008.
Název česky
Kombinovaná bisimulace pro stromové automaty
Typ
audiovizuální tvorba
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Bouajjani Ahmed
Kaati Lisa
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
BibTeX 
@misc{BUT63382,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Ahmed {Bouajjani} and Lisa {Kaati}",
  title="Composed Bisimulation for Tree Automata",
  year="2008",
  pages="19",
  address="FIT-TR-2008-004, Brno",
  url="http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2008-004.pdf",
  note="presentation"
}
Nahoru