First Page | Document Content | |
---|---|---|
![]() Date: 2014-04-30 15:56:26ACM SIGACT International Colloquium on Automata Languages and Programming Gödel Prize Association for Computing Machinery Ronald Fagin Computational geometry European Association for Theoretical Computer Science Algorithm Dijkstra Prize Theoretical computer science Computer science Applied mathematics | Add to Reading List |