Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - 最新文献
Pub Date : 2004-11-05
DOI: 10.1109/LICS.2004.1319610
K. Chatterjee, T. Henzinger, M. Jurdzinski
Pub Date : 2004-07-13
DOI: 10.1109/LICS.2004.5
S. Cook, A. Kolokolova
Pub Date : 2004-07-13
DOI: 10.1109/LICS.2004.1319628
D. Dams, Kedar S. Namjoshi
查看全部