Sixth Annual IEEE Symposium on

Logic in Computer Science (LICS 1991)

1991-07-15 to 1991-07-18, Amsterdam, The Netherlands

On this page:

Presented Papers

Entries are ordered by surname of first author

Organizers

General Chair

Albert R. Meyer (MIT Lab. for Computer Science)

Program Chair

Giles Kahn

Conference Chair

Roel de Vrijer (Free University of Amsterdam)

Jan Willem Klop (CWI, Amsterdam)

Publicity Chair

Daniel Leivant (Carnegie-Mellon University)

Program Committee:

Serge Abiteboul; Samson Abramsky; Krysztof Apt; Jan Bergstra; Val Breazu-Tannen; Sam Buss; Robert Constable; Pierre-Louis Curien; Nachum Dershowitz; Peter Dybjer; Ursula Goltz; Giuseppe Longo; Grigori Mints; Andy Pitts; Simona Ronchi Della Rocca; Masahiko Sato; Ehud Shapiro; Berhard Steffen

Organizing Committee

Martin Abadi; Jon Barwise; Ashok Chandra; Robert Constable; Erwin Engeler; Jean Gallier; Joseph Goguen; David Gries; Yuri Gurevich; Susumu Hayahsi; David S. Johnson; Gilles Kahn; Jan Willem Klop; Dexter Kozen; Daniel Leivant; Zohar Manna; Albert R. Meyer; Grigori Mints; John C. Mitchell; Yiannis Moschovakis; Christos Papadimitriou; Rohit Parikh; Gordon D. Plotkin; Grzegorz Rozenberg; Dana Scott; Jerzy Tiuryn; Roel de Vrijer