The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science (2001)
Boston, MA, USA
June 16, 2001 to June 19, 2001
ISBN: 0-7695-1281-X
TABLE OF CONTENTS
Foreword (PDF)
pp. x
Invited Talk - Chair: Joseph Y. Halpern
J. Mitchell , Stanford University
A. Ramanathan , Stanford University
V. Teague , Stanford University
A. Scedrov , University of Pennsylvania
pp. 0003
Session 1 - Chair: Jean-Pierre Jouannaud
Harald Rueß , SRI International
Natarajan Shankar , SRI International
pp. 0019
Aaron Stump , Stanford University
David L. Dill , Stanford University
Jeremy Levitt , 0-In Design Automation, Inc.
pp. 0029
Guillem Godoy , Technical University of Catalonia
Robert Nieuwenhuis , Technical University of Catalonia
pp. 0038
Invited Talk - Chair: Jean-Pierre Jouannaud
Satyaki Das , Stanford University
David L. Dill , Stanford University
pp. 0051
Session 2 - Chair: Pawel Urzyczyn
Scott D. Stoller , SUNY at Stony Brook
pp. 0061
Session 3 - Chair: Radha Jaghadeesan
Marcelo Fiore , University of Cambridge
pp. 0093
J. Laird , University of Sussex
pp. 0105
Martín H. Escardó , University of Birmingham
Alex K. Simpson , University of Edinburgh
pp. 0115
Invited Talk - Chair: Gordon Plotkin
Session 4 - Chair: Michel de Rougemont
Jeremy Avigad , Carnegie Mellon University
pp. 0139
Wieslaw Szwast , Opole University
Lidia Tendera , Opole University
pp. 0147
Taneli Huuskonen , University of Helsinki
pp. 0167
Invited Talk - Chair: Erich Graedel
Session 5 - Chair: Erich Graedel
Neil Immerman , University of Massachusetts
David A. Mix Barrington , University of Massachusetts
Nicole Schweikardt , Johannes Gutenberg-Universit?t Mainz
Denis Thérien , McGill University
pp. 0187
Micah Adler , UMass, Amherst
Neil Immerman , UMass, Amherst
pp. 0197
Session 6 - Chair: Nevin Heintze
Hongwei Xi , University of Cincinnati
pp. 0231
Short Paper Session - Chair: Joseph Y. Halpern
Invited Talk - Chair: Ron van der Meyden
Andrew W. Appel , Princeton University
pp. 0247
Session 7 - Chair: Parosh Abdulla
Dexter Kozen , Cornell University
Jerzy Tiuryn , Warsaw University
pp. 0259
Eugene Asarin , VERIMAG
Ahmed Bouajjani , LIAFA, University of Paris 7
pp. 0269
Rajeev Alur , University of Pennsylvania
pp. 0291
Session 8 - Chair: Adolfo Piperno
Session 9 - Chair: Hubert Comon
Panagiotis Manolios , University of Texas, Austin
pp. 0366
Short Papers
Invited Talk - Chair: Michel de Rougemont
Session 10 - Chair: Rance Cleaveland
Orna Kupferman , Hebrew University
pp. 0389
Anca Muscholl , LIAFA, Universit? Paris VII
Tayssir Touili , LIAFA, Universit? Paris VII
pp. 0399
Glenn Bruns , Bell Laboratories, Lucent Technologies
pp. 0409
Session 11 - Chair: Ron van der Meyden
Tova Milo , Tel Aviv University
Frank Neven , Limburgs Universitair Centrum
Noga Alon , Tel Aviv University
Victor Vianu , U.C. San Diego
pp. 0421
Author Index (PDF)
pp. 0441
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool