Detail publikace

Reduction of Nondeterministic Tree Automata

ALMEIDA Ricardo, HOLÍK Lukáš a MAYR Richard. Reduction of Nondeterministic Tree Automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Volume 9636 of the series Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2016, s. 717-735. ISBN 978-3-662-49673-2. Dostupné z: http://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_46
Název česky
Redukce nedeterministických stromových automatů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Almeida Ricardo (UEDIN)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Mayr Richard (UEDIN)
URL
Klíčová slova

stromové automaty,
redukce,
simulace

Abstrakt

Práce studuje pokročilé metody redukce stromových automů založené na různých variantách relace simulace.

Rok
2016
Strany
717-735
Sborník
Tools and Algorithms for the Construction and Analysis of Systems
Řada
Volume 9636 of the series Lecture Notes in Computer Science
Konference
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Eindhoven, The Netherlands, CZ
ISBN
978-3-662-49673-2
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
DOI
UT WoS
000406428000046
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11178,
   author = "Ricardo Almeida and Luk\'{a}\v{s} Hol\'{i}k and Richard Mayr",
   title = "Reduction of Nondeterministic Tree Automata",
   pages = "717--735",
   booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
   series = "Volume 9636 of the series Lecture Notes in Computer Science",
   year = 2016,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-49673-2",
   doi = "10.1007/978-3-662-49674-9\_46",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11178"
}
Nahoru