The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (1995)
San Diego, California
June 26, 1995 to June 29, 1995
ISBN: 0-8186-7050-6
TABLE OF CONTENTS
Committees (PDF)
pp. xi
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
Igor Walukiewicz , BRICS, Department of Computer Science University of Aarhus
pp. 14
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
Jan Paredaens , University of Antwerp (UIA)
Jan Van den Bussche , INRIA Rocquencourt, France
Dirk Van Gucht , Indiana University
pp. 79
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
Mike Gordon , University of Cambridge, U.K.
pp. 136
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
Alan Jeffrey , School of Cognitive and Computing Sciences,Sussex Univ., UK
pp. 255
Intited Speaker III
R.L. Constable , Cornell Univ., Ithaca, NY, USA
pp. 266
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
Adolfo Piperno , Universita di Roma "La Sapienza"
pp. 300
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
Martin Otto , Mathematische Grundlagen der Informatik, Germany
pp. 342
Anil Seth , The Institute of Mathematical Sciences C.I.T. Campus, Madras-600113, INDIA
pp. 353
Session 9: Unification and Rewriting: Chair: L. Bachmair
Gilles Dowek , INRIA-Rocquencourt
Therese Hardin , INRIA-Rocquencourt
Claude Kirchner , INRIA-Rocquencourt
pp. 366
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
Alex K. Simpson , LFCS, Department of Computer Science University of Edinburgh,UK
pp. 420
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
Patrick Lincoln , SRI International
Natarajan Shankar , SRI International
Andre Scedrov , University of Pennsylvania
pp. 476
Max I. Kanovich , Tohoku University, Japan
pp. 486
A.P. Kopylov , Department of Mathematics and Mechanics Moscow State University, Moscow, Russia
pp. 496
Invited Speaker IV
Boris Trakhtenbrot , Tel Aviv University, Ramat Aviv 69978, Israel
pp. 506
Author Index (PDF)
pp. 518
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool