The Community for Technology Leaders
Logic in Computer Science, Symposium on (1998)
Indianapolis, Indiana
June 21, 1998 to June 24, 1998
ISSN: 1043-6871
ISBN: 0-8186-8506-9

Reviewers (PDF)

pp. xiii
Invited Lecture
Session I: Finite Model Theory I: Chair: Martin Otto
Session II: Verification: Chair: Moshe Vardi
Session III: Logics: Chair: Johan van Benthem
Tutorial: Chair: Andre Scedrov
Session IV: Concurrency I: Chair: Mart?n Abadi
Session V: Category Theory: Chair: Eugenio Moggi
Invited Lecture: Chair: Bill Rounds
Tutorial: Chair: Edith Hemaspaandra
Session VI: Theorem Proving and Rewriting: Chair: Giuseppe Longo
Session VII: Linear Logic: Chair: Laurent Regnier
Session VIII: Game Semantics: Chair: Dale Miller
Session IX: Type Theory: Chair: Luke Ong
Invited Lecture: Chair: Robert Constable
Session X: Calculus and Lambda-Calculus: Chair: Vaughan Pratt
Session XI: Constraints and Complexity: Chair: Bengt Jonsson
Session XII: Concurrency II: Chair: Tom Henzinger
Session XIII: Finite Model Theory II: Chair: Erich Gr?del

Author Index (PDF)

pp. 537
76 ms
(Ver 3.3 (11022016))