Title: Eighth Annual IEEE Symposium on Logic in Computer Science (June 19-23, 1993)
Subjects: Symbolic and mathematical Logic, Congresses, Electronic data processing, Electronic digital computers