|
18 th Annual Symposium on Foudations of Computer Science : formerly called the Annual Symposium on Switching and Automata Theory : october 31 november 2, 1977 Providence, Rhode Island : sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the ACM Special interest Group for Automata and Computability Theory and Brown University |
|