Události

Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science

Reykjavik 20.-23.6.2017

Vybrané publikace

2017CHEN 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.

Vaše IPv4 adresa: 35.175.174.157