• L
  • LICS
  • 1996
  • 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96)
Advanced Search 
11th Annual IEEE Symposium on Logic in Computer Science (LICS'96)
New Brunswick, NJ
July 27-July 30
ISBN: 0-8186-7463-6
Table of Contents
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
Concurrency: Chair: U. Montanari
V. Natarajan, North Carolina State University
Rance Cleaveland, North Carolina State University
pp. 63
Types I: Chair: J. Mitchell
Temporal Logic and Calculus: Chair: E.A. Emerson
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
S. Brookes, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 164
R. Davies, Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 184
Model Checking I: Chair: S. German
Types II: Chair: D. Howe
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
Lambda Calculus: Chair: F. Pfenning
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
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
Usage of this product signifies your acceptance of the Terms of Use.