Events

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

Reykjavik 20.-23.6.2017

Selected publications

2017CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, pp. 1-12. ISBN 978-1-5090-3018-7.

Your IPv4 address: 54.242.115.55
Switch to https

DNSSEC [dnssec]