• L
  • LICS
  • 1995
  • 10th Annual IEEE Symposium on Logic in Computer Science (LICS'95)
Advanced Search 
10th Annual IEEE Symposium on Logic in Computer Science (LICS'95)
San Diego, California
June 26-June 29
ISBN: 0-8186-7050-6
Table of Contents
Invited Speaker I
Yonit Kesten, Department of Computer Science Weizmann Institute of Science, Israel
Amir Pnueli, Department of Computer Science Weizmann Institute of Science, Israel
pp. 2
Session 1: Program Logics I: Chair: D. Kozen
Once and For All (Abstract)
Orna Kupferman, Department of Computer Science The Technion, Israel
Amir Pnueli, Department of Computer Science Weizmann Institute of Science, Israel
pp. 25
Bruno Dutertre, Department of Computer Science, Royal Holloway, University of London, United Kingdom
pp. 36
Session 2: Finite Models I I: Chair: V. Tannen
James F. Lynch, Clarkson University
Jerzy Tyszkiewicz, Mathematische Grundlagen der Informatik, Aachen, Germany
pp. 46
Anuj Dawar, Department of Computer Science University of Wales, Swansea, U.K.
Erich Grädel, Mathematische Grundlagen der Informatik, Aachen, Germany
pp. 54
Georg Gottlob, Institut fuer Informationssysteme Technische Universitaet Wien, Wien, Austria
pp. 65
Session 3: Model Checking and Verification: Chair: P. Sistla
M.Y. Vardi, Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
pp. 101
Invited Speaker II
Session 4: Theorem. Proving and AI:Chair: T. Henzinger
G. Nadathur, Dept. of Comput. Sci., Chicago Univ., IL, USA
D.W. Loveland, Dept. of Comput. Sci., Chicago Univ., IL, USA
pp. 148
Frank Pfenning, Department of Computer Science Carnegie Mellon University, Pennsylvania
pp. 156
Christopher Lynch, INRIA Lorraine et CRIN Campus Scientifique, Cedex France
pp. 167
V. W. Marek, Computer Science Department, University of Kentucky, Lexington, KY
A. Nerode, Mathematical Sciences Institute Cornell University, New York
J.B. Remmel, Mathematics Department, University of California, La Jolla, California
pp. 178
Session 5: Concurrency I: Chair: C. Brown
Control Structures (Abstract)
Alex Mifsud, Dept of Computer Science, University of Malta, Msida, Malta
Robin Milner, Computer Laboratory, University of Cambridge UK
John Power, Computer Science Dept, University of Edinburgh, UK
pp. 188
R.J. Van Glabbeek, Computer Science Department,Stanford University, Stanford, CA, USA
G.D. Plotkin, Department of Computer Science, University of Edinburgh, UK
pp. 199
Simon Gay, Imperial College of Science Technology and Medicine
Rajagopal Nagarajan, Imperial College of Science Technology and Medicine
pp. 210
Marino Miculan, Dipartimento di Matematica ed Informatica, Universita di Udine, Via delle Scienze, Italy
Fabio Gadducci, Dipartimento di Informatica -- Universita di Pisa Corso Italia, Italy
pp. 221
Session 6: Semantics I: Chair: M. Abadi
Samson Abramsky, Imperial College of Science, Technology and Medicine, London, United Kingdom
Guy McCusker, Imperial College of Science, Technology and Medicine, London, United Kingdom
pp. 234
Abbas Edalat, Department of Computing, Imperial College, London
pp. 244
Intited Speaker III
Session 7: Lambda Calculus amd Types: Chair: J. Tiuryn
Daniel J. Dougherty, Department of Mathematics Wesleyan University USA
Ramesh Subrahmanyam, Department of Mathematics Wesleyan University USA
pp. 282
G. Loop, CNRS, Ecole Normale Superieure, Paris, France
K. Milsted, CNRS, Ecole Normale Superieure, Paris, France
S. Soloviev, CNRS, Ecole Normale Superieure, Paris, France
pp. 292
A.J. Kfoury, Boston University Department of Computer Science Boston, MA
J.B. Wells, Boston University Department of Computer Science Boston, MA
pp. 311
Session 8: Finite Models II: Chair: P. Kolaitis
Alexei P. Stolboushkin, Department of Mathematics University of California, Los Angeles
pp. 324
Kousha Etessami, Department of Computer Science University of Massachusetts at Amherst
Neil Immerman, Department of Computer Science University of Massachusetts at Amherst
pp. 331
Anil Seth, The Institute of Mathematical Sciences C.I.T. Campus, Madras-600113, INDIA
pp. 353
Session 9: Unification and Rewriting: Chair: L. Bachmair
H. Comon, CNRS, Univ. Paris-Sud, France
R. Nieuwenhuis, Technical Univ. Catalonia, Barcelona, Spain
A. Rubio, Technical Univ. Catalonia, Barcelona, Spain
pp. 375
Session 10 Model Checking II: Chair: EA. Emerson
Girish Bhat, Department of Computer Science, North Carolina State University, Raleigh, NC
Rance Cleaveland, Department of Computer Science, North Carolina State University, Raleigh, NC
Orna Grumberg, Department of Computer Science, The Technion, Haifa, ISRAEL
pp. 388
Henrik Reif Andersen, Department of Computer Science, Technical University of Denmark
pp. 398
Enrico Tronci, Dip. Matematica Pura ed Applicata, Universita' di L'Aquila, Coppito, L'Aquila, Italy
pp. 408
Session 11: Concurrency II: Chair: U. Goltz
Bengt Jonsson, Department of Computer Systems, Uppsala University, Sweden
Wang Yi, Department of Computer Systems, Uppsala University, Sweden
pp. 431
Session 12: Semantics II: Chair: L. Ong
Francois Lamarche, Department of Computing, Imperial College of Science and Technology,London UK
pp. 464
Session 13: Linear Logic: Chair: D. Miller
A.P. Kopylov, Department of Mathematics and Mechanics Moscow State University, Moscow, Russia
pp. 496
Invited Speaker IV
Usage of this product signifies your acceptance of the Terms of Use.