Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science - 最新文献
Pub Date : 2021-06-29
DOI: 10.1109/lics52264.2021.9470625
P. Abdulla, Manuel Bodirsky (chair), E. Grädel, R. Jagadeesan
Pub Date : 1900-01-01
DOI: 10.5555/3502498
查看全部