Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, Calif. IEEE Computer Society Press c1993
Available at
EPBC - Esc. Politécnica-Bib Central
(004.42 Ie2L 8. )(GetIt)