Symposium on Logic in Computer Science (1993 :)
Overview
| Works: | 4 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Proceedings : = Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993 /
by:
ACM Special Interest Group for Automata and Computability Theory.; IEEE Computer Society., Technical Committee on Mathematical Foundations of Computing.; Symposium on Logic in Computer Science (1993 :)
(Language materials, printed)