The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (1998)
Indianapolis, Indiana
June 21, 1998 to June 24, 1998
ISBN: 0-8186-8506-9
TABLE OF CONTENTS
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
Light Affine Logic (Abstract)
pp. 300
pp. 309
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
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool