Detail publikace

Reduction of Nondeterministic Tree Automata

HOLÍK, L.; ALMEIDA, R.; MAYR, R. 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. p. 717-735. ISBN: 978-3-662-49673-2.
Název česky
Redukce nedeterministických stromových automatů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Almeida Ricardo (FIT)
Mayr Richard
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
ISBN
978-3-662-49673-2
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg
DOI
10.1007/978-3-662-49674-9_46
UT WoS
000406428000046
EID Scopus
2-s2.0-84964049069
BibTeX 
@inproceedings{BUT133495,
  author="Lukáš {Holík} and Ricardo {Almeida} and Richard {Mayr}",
  title="Reduction of Nondeterministic Tree Automata",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  year="2016",
  series="Volume 9636 of the series Lecture Notes in Computer Science",
  pages="717--735",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  doi="10.1007/978-3-662-49674-9\{_}46",
  isbn="978-3-662-49673-2",
  url="http://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_46"
}
Nahoru