Detail publikace

Register Automata with Linear Arithmetic

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.

Typ

zpráva odborná

Jazyk

anglicky

Autoři

Lengál Ondřej, doc. Ing., Ph.D. (UITS)
Chen Yu-Fang
Tan Tony
Wu Zhilin

URL

https://arxiv.org/pdf/1704.03972.pdf

Rok

2017

Strany

1–30

Místo

arXiv:1704.03972

BibTeX

@techreport{BUT169472,
  author="Ondřej {Lengál} and Yu-Fang {Chen} and Tony {Tan} and Zhilin {Wu}",
  title="Register Automata with Linear Arithmetic",
  year="2017",
  address="arXiv:1704.03972",
  pages="1--30",
  url="https://arxiv.org/pdf/1704.03972.pdf"
}