• L
  • LICS
  • 1999
  • 14th Annual IEEE Symposium on Logic in Computer Science (LICS'99)
Advanced Search 
14th Annual IEEE Symposium on Logic in Computer Science (LICS'99)
Trento, Italy
July 02-July 05
ISBN: 0-7695-0158-3
Table of Contents
Invited Talk:
Session 1: Chair: M. Otto
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
Session 2: Chair: D. SanGiorgi
Marcelo Fiore, University of Sussex
Gian Luca Cattani, University of Cambridge
Glynn Winskel, University of Aarhus
pp. 67
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
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
Session 4: Chair: M. Abadi
Michele Boreale, Universit? di Roma "La Sapienza"
Rocco de Nicola, Universit? di Firenze
Rosario Pugliese, Universit? di Firenze
pp. 157
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
Marcelo Fiore, University of Sussex
Gordon Plotkin, University of Edinburgh
Daniele Turi, University of Edinburgh
pp. 193
Session 6: Chair: M. Okada
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
Session 7: Chair: M. Grohe
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
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
Session 10: Chair: E. Robinson
J.-P. Jouannaud, Universit? de Paris Sud
A. Rubio, University Polit?cnica de Catalunya
pp. 402
Session 11: Chair: V. Danos
Session 12: Chair: A. Asperti
Usage of this product signifies your acceptance of the Terms of Use.