The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (1996)
New Brunswick, NJ
July 27, 1996 to July 30, 1996
ISBN: 0-8186-7463-6
TABLE OF CONTENTS
pp. xiv
Finite Model Theory I: Chair: K. Kunen
J.A. Medina , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
N. Immerman , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 2
J. Marcinkowski , Theor. of Comput. Sci. Group, Wroclaw Univ., Poland
pp. 13
Concurrency: Chair: U. Montanari
Ian Stark , University of Aarhus, Denmark
pp. 36
Gian Luca Cattani , Aarhus University, Denmark
Vladimiro Sassone , Universita di Pisa, Italia
pp. 55
V. Natarajan , North Carolina State University
Rance Cleaveland , North Carolina State University
pp. 63
Types I: Chair: J. Mitchell
Jerzy Tiuryn , Warsaw University
Pawel Urzyczyn , Warsaw University
pp. 74
David Aspinall , University of Edinburgh
Adriana Compagnoni , University of Cambridge
pp. 86
Temporal Logic and Calculus: Chair: E.A. Emerson
Kousha Etessami , Rutgers University
Thomas Wilke , Rutgers University
pp. 108
R. Ramanujam , Institute of Mathematical Sciences C. I. T. Campus, India
pp. 118
Helmut Seidl , Fachbereich IV / Abt. Informatik Universitat Trier, Germany
pp. 128
Reasoning about Programs: Chair: P. Lincoln
A.M. Pitts , Comput. Lab., Cambridge Univ., UK
pp. 152
S. Brookes , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 164
Guy McCusker , Imperial College, London
pp. 174
R. Davies , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 184
Model Checking I: Chair: S. German
Patrice Godefroid , Lucent Technologies
David E. Long , Lucent Technologies
pp. 198
Types II: Chair: D. Howe
C.-H. L. Ong , University of Oxford and National University of Singapore
pp. 230
Gerd Hillebrand , Fakultaet fuer Informatik, Germany
Paris Kanellakis , Brown University
pp. 253
Tutorial: Chair: J. Rushby
T.A. Henzinger , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 278
Model Checking II: Chair: O. Grumberg
G. Bhat , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
R. Cleaveland , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
pp. 304
P.A. Abdulla , Dept. of Comput. Syst., Uppsala Univ., Sweden
K. Cerans , Dept. of Comput. Syst., Uppsala Univ., Sweden
B. Jonsson , Dept. of Comput. Syst., Uppsala Univ., Sweden
Yih-Kuen Tsay , Dept. of Comput. Syst., Uppsala Univ., Sweden
pp. 313
O. Kupferman , AT&T Bell Labs., Murray Hill, NJ, USA
S. Safra , AT&T Bell Labs., Murray Hill, NJ, USA
M.Y. Vardi , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 322
Finite Model Theory II: Chair: G. Gottlob
T. Hirst , Weizmann Inst. of Sci., Rehovot, Israel
D. Harel , Weizmann Inst. of Sci., Rehovot, Israel
pp. 334
P.G. Kolaitis , Dept. of Comput. Sci., California Univ., Santa Cruz, CA, USA
M.Y. Vardi , Dept. of Comput. Sci., California Univ., Santa Cruz, CA, USA
pp. 348
G.L. McColm , Dept. of Math., Univ. of South Florida, Tampa, FL, USA
pp. 360
Semantics and Domains: Chair: G. Winskel
V. Danos , Paris VII Univ., France
H. Herbelin , Paris VII Univ., France
L. Regnier , Paris VII Univ., France
pp. 394
Shekhar Pradhan , University of Maryland and Missouri State University
pp. 406
Lambda Calculus: Chair: F. Pfenning
Nick Benton , University of Cambridge
Philip Wadler , University of Glasgow
pp. 420
Rewriting and Unification;: Chair: C. Kirchner
David Basin , Max-Planck-Institut fuer Informatik, Germany
Harald Ganzinger , Max-Planck-Institut fuer Informatik, Germany
pp. 456
P. Narendran , Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA
pp. 466
Robert Nieuwenhuis , Technical University of Catalonia, Spain
pp. 473
Complexity and Decidability: Chair: A. Stolboushkin
Victor W. Marek , University of Kentucky
Anil Nerode , Cornell University
Jeffrey B. Remmel , University of California at La Jolla
pp. 513
Yuri Matiyasevich , Steklov Institute of Mathematics of Russian Academy of Sciences
Geraud Senizergues , Universite de Bordeaux, France
pp. 523
FLoC Plenary Session: Chair: M.Y. Vardi
pp. 535
56 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool