Third Annual IEEE Symposium on

Logic in Computer Science (LICS 1988)

1988-07-05 to 1988-07-08, Edinburgh, Scotland, UK

On this page:

Invited Speakers

Presented Papers

Entries are ordered by surname of first author


Program Chair

Yuri Gurevich

Program Committee:

M. Dezani; J. Halpern; G. Huet; C.A.R. Hoare; P. Kanellakis; J.-L. Lassez; J. Mitchell; R. Platek; G. Plotkin; S. Rosenschein; A. Sistla; J. Tiuryn; M. Wand