Technická zprávaCHEN 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}
} |
|