Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:Register Automata with Linear Arithmetic
Název (cs):Registrové automaty s lineární aritmetikou
Strany:1-12
Sborník:Proceedings of LICS'17
Konference:Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Místo vydání: Reykjavik, IS
Rok:2017
ISBN:978-1-5090-3018-7
Vydavatel:IEEE Computer Society
Klíčová slova

register automata, linear arithmetic, invariant problem, reachability, equivalence, affine programs, rational numbers
Anotace
Tento článek zavádí rozšíření registrových automatů o lineární aritmetiku a studuje vlastnosti tohoto rozšíření.
BibTeX:
@INPROCEEDINGS{
   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},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11431}
}

Vaše IPv4 adresa: 54.227.6.156
Přepnout na IPv6 spojení

DNSSEC [dnssec]