Detail publikace

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

ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Fakulta informatiky MU, 2008, s. 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
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Kaati Lisa (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Konference
MEMICS'08 -- 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-7355-082-0
Vydavatel
Fakulta informatiky MU
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8820,
   author = "A. Parosh Abdulla and Luk\'{a}\v{s} Hol\'{i}k and Lisa Kaati and Tom\'{a}\v{s} Vojnar",
   title = "A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata",
   pages = "3--11",
   booktitle = "4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2008,
   location = "Brno, CZ",
   publisher = "Faculty of Informatics MU",
   ISBN = "978-80-7355-082-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8820"
}
Nahoru