Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK

Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. IEEE Computer Society, 1988.

Conference: lics1988

Abstract

Abstract is missing.

Table of Contents