The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (1999)
Trento, Italy
July 2, 1999 to July 5, 1999
ISBN: 0-7695-0158-3
TABLE OF CONTENTS
Reviewers (PDF)
pp. x
Invited Talk:
Harvey M. Friedman , Ohio State University
pp. 2
Session 1: Chair: M. Otto
Erich Grädel , RWTH Aachen
Eric Rosen , RWTH Aachen
pp. 14
H. Ganzinger , Max-Planck-Institut f?r Informatik
C. Meyer , Max-Planck-Institut f?r Informatik
M. Veanes , Max-Planck-Institut f?r Informatik
pp. 24
Lauri Hella , University of Helsinki
Leonid Libkin , Bell Laboratories
Juha Nurmonen , University of Leicester
Limsoon Wong , Kent Ridge Digital Labs
pp. 35
Erich Grädel , RWTH Aachen
Igor Walukiewicz , Warsaw University
pp. 45
Session 2: Chair: D. SanGiorgi
Alan Jeffrey , DePaul University
Julian Rathke , University of Sussex
pp. 56
Marcelo Fiore , University of Sussex
Gian Luca Cattani , University of Cambridge
Glynn Winskel , University of Aarhus
pp. 67
Alex K. Simpson , University of Edinburgh
pp. 77
Session 3: Chair: M. Dezani
Anindya Banerjee , Stevens Institute of Technology
Nevin Heintze , Bell Laboratories, Lucent Technologies
Jon G. Riecke , Bell Laboratories, Lucent Technologies
pp. 88
Serenella Cerrito , Universite de Paris-Sud
Delia Kesner , Universite de Paris-Sud
pp. 98
Antonio Bucciarelli , Universit? di Roma "La Sapienza"
Silvia de Lorenzis , Universit? di Roma "La Sapienza"
Adolfo Piperno , Universit? di Roma "La Sapienza"
Ivano Salvo , Universit? di Roma "La Sapienza"
pp. 109
Assaf J. Kfoury , Boston University
Santiago M. Pericas-Geertsen , Boston University
pp. 119
Invited Talk:
Nir Friedman , Hebrew University
Joseph Y. Halpern , Cornell University
pp. 130
Session 4: Chair: M. Abadi
Dario Colazzo , University of Pisa
Giorgio Ghelli , University of Pisa
pp. 137
Michele Boreale , Universit? di Roma "La Sapienza"
Rocco de Nicola , Universit? di Firenze
Rosario Pugliese , Universit? di Firenze
pp. 157
Dexter Kozen , Cornell University
pp. 167
Session 5: Chair: G. Dowek
Michael Marz , Technische Universit?t Darmstadt
Alexander Rohr , Technische Universit?t Darmstadt
Thomas Streicher , Technische Universit?t Darmstadt
pp. 174
David J. Pym , University of London
pp. 183
Marcelo Fiore , University of Sussex
Gordon Plotkin , University of Edinburgh
Daniele Turi , University of Edinburgh
pp. 193
Session 6: Chair: M. Okada
Murdoch Gabbay , Cambridge University
Andrew Pitts , Cambridge University
pp. 214
Miquel Bofill , Technical University of Catalonia
Guillem Godoy , Technical University of Catalonia
Robert Nieuwenhuis , Technical University of Catalonia
Albert Rubio , Technical University of Catalonia
pp. 225
Harish Devarajan , Stanford University
Dominic Hughes , Stanford University
Vaughan Pratt , Stanford University
Gordon Plotkin , University of Edinburgh
pp. 234
Invited Talk:
Session 7: Chair: M. Grohe
Jan Johannsen , University of California at San Diego
pp. 268
Albert Atserias , University of California at Santa Cruz
Phokion G. Kolaitis , University of California at Santa Cruz
pp. 275
Joachim Niehren , Universit?t des Saarlandes
Martin Müller , Universit?t des Saarlandes
Jean-Marc Talbot , Max-Planck Institut Informatik
pp. 285
Session 8: Chair: S. Weinstein
Georg Gottlob , Technische Universit?t Wien
Reinhard Pichler , Technische Universit?t Wien
pp. 306
Matthias Ruhl , Massachusetts Institute of Technology
pp. 326
Session 9: Chair: N. Shankar
E. Allen Emerson , University of Texas at Austin
Richard J. Trefler , University of Texas at Austin
pp. 336
Augustin Baziramwabo , Universite de Montreal
Pierre McKenzie , Universite de Montreal
Denis Thérien , McGill University
pp. 344
Javier Esparza , Technische Universit?t M?nchen
Alain Finkel , ENS de Cachan
Richard Mayr , University of Edinburgh
pp. 352
Faron Moller , Uppsala University
Alexander Rabinovich , Tel Aviv University
pp. 360
Invited Talk:
Session 10: Chair: E. Robinson
Joseph Y. Halpern , Cornell University
Richard A. Shore , Cornell University
pp. 384
Mark W. Hopkins , Adaptive Micro Systems, Inc.
Dexter C. Kozen , Cornell University
pp. 394
J.-P. Jouannaud , Universit? de Paris Sud
A. Rubio , University Polit?cnica de Catalunya
pp. 402
Thorsten Altenkirch , University of Munich
pp. 412
Session 11: Chair: V. Danos
Russell Harmer , Imperial College, London
Guy McCusker , University of Sussex
pp. 422
Samson Abramsky , University of Edinburgh
Paul-André Melliès , University Paris 7
pp. 431
Session 12: Chair: A. Asperti
Stefano Guerrini , Universit? di Roma I, "La Sapienza"
pp. 454
Invited Talk:
Author Index (PDF)
pp. 477
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool