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}
} |
|
Fakulta informačních technologií