Detail publikace

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; KAATI, L. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. p. 3-11. ISBN: 978-80-7355-082-0.
Název česky
Uniformní (bi-)simulační framework pro redukci stromových automtů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Kaati Lisa
Klíčová slova

tree automata, bisimulation, simulation, size reduction, framework

Abstrakt

Práce popisuje uniformní framework pro kombinaci různých druhů simulací a bisimulací nad stromovými automaty s využitím pro redukci velikosti stromových automatů.

Rok
2008
Strany
3–11
Sborník
4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-082-0
Vydavatel
Faculty of Informatics MU
Místo
Brno
BibTeX 
@inproceedings{BUT33442,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Lisa {Kaati}",
  title="A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata",
  booktitle="4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2008",
  pages="3--11",
  publisher="Faculty of Informatics MU",
  address="Brno",
  isbn="978-80-7355-082-0"
}
Nahoru