Detail publikace

Register Automata with Linear Arithmetic

CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, s. 1-12. ISBN 978-1-5090-3018-7.
Název česky
Registrové automaty s lineární aritmetikou
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Tan Tony (NTU)
Wu Zhilin (UCAS)
Abstrakt

Tento článek zavádí rozšíření registrových automatů o lineární aritmetiku a studuje vlastnosti tohoto rozšíření.

Rok
2017
Strany
1-12
Sborník
Proceedings of LICS'17
Konference
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, IS
ISBN
978-1-5090-3018-7
Vydavatel
IEEE Computer Society
Místo
Reykjavik, IS
DOI
10.1109/LICS.2017.8005111
UT WoS
000425849500049
EID Scopus
2-s2.0-85034024772
BibTeX 
@INPROCEEDINGS{FITPUB11431,
   author = "Yu-Fang Chen and Ond\v{r}ej Leng\'{a}l and Tony Tan and Zhilin Wu",
   title = "Register Automata with Linear Arithmetic",
   pages = "1--12",
   booktitle = "Proceedings of LICS'17",
   year = 2017,
   location = " Reykjavik, IS",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5090-3018-7",
   doi = "10.1109/LICS.2017.8005111",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11431"
}
Nahoru