Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA. IEEE Computer Society, 1989.
Conference: lics1989
No references recorded for this publication.
No citations of this publication recorded.