Technická zpráva

CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony a WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017. Dostupné z: https://arxiv.org/pdf/1704.03972.pdf
Jazyk publikace:angličtina
Název publikace:Register Automata with Linear Arithmetic
Strany:1-30
Místo vydání:arXiv:1704.03972, US
Rok:2017
URL:https://arxiv.org/pdf/1704.03972.pdf
BibTeX:
@TECHREPORT{
   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--30},
   year = {2017},
   location = {arXiv:1704.03972, US},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11433}
}

Vaše IPv4 adresa: 54.91.41.87