The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (2004)
Turku, Finland
July 17, 2004 to July 17, 2004
ISBN: 0-7695-2192-4
TABLE OF CONTENTS
Preface (PDF)
pp. 0_9
Preface (PDF)
pp. ix
Referees (PDF)
pp. xii-xiii
Session 1
Stefan W?hrle , RWTH Aachen, Germany
Wolfgang Thomas , RWTH Aachen, Germany
pp. 2-11
Anton? Kucera , Masaryk University, Czech Republic
Javier Esparza , University of Stuttgart, Germany
pp. 12-21
Michael Baldamus , Uppsala University, Sweden
Joachim Parrow , Uppsala University, Sweden
Bj? Victor , Uppsala University, Sweden
pp. 22-31
Andreas Podelski , Max-Planck-Institut f?r Informatik, Saarbr?cken, Germany
Andrey Rybalchenko , Max-Planck-Institut f?r Informatik, Saarbr?cken, Germany
pp. 32-41
Session 2
Bakhadyr Khoussainov , University of Auckland, New Zealand
Andre Nies , University of Auckland, New Zealand
Sasha Rubin , University of Auckland, New Zealand
Frank Stephan , National ICT Australia
pp. 44-53
Jo? Ouaknine , Carnegie Mellon University, Pittsburgh, PA
pp. 54-63
Bruno Guillaume , INRIA, France
Philippe de Groote , INRIA, France
pp. 64-73
Session 3 (Short Presentations)
Session 4
Mihalis Yannakakis , Columbia University, New York, NY
pp. 78-88
Daniel Leivant , Indiana University
pp. 89-98
Session 5
Sanjit A. Seshia , Carnegie Mellon University, Pittsburgh, PA
Randal E. Bryant , Carnegie Mellon University, Pittsburgh, PA
pp. 100-109
Felix Klaedtke , Albert-Ludwigs-Universit?t Freiburg, Germany
pp. 110-119
Louis Latour , Universit? de Li?ge, Belgium
pp. 120-129
Session 7
Alexander A. Razborov , Institute for Advanced Study, School of Mathematics, Princeton, NJ
pp. 134-138
Murdoch Gabbay , LIX ?cole Polytechnique
pp. 139-148
Session 8
S. Abramsky , Oxford University
D. R. Ghica , Oxford University
A. S. Murawski , Oxford University
C.-H. L. Ong , Oxford University
I. D. B. Stark , Edinburgh University
pp. 150-159
Krishnendu Chatterjee , University of California, Berkeley
Thomas A. Henzinger , University of California, Berkeley; EPFL, Switzerland
Marcin Jurdzinski , University of California, Berkeley; University of Warwick, UK
pp. 160-169
Luca de Alfaro , University of California, Santa Cruz
Radha Jagadeesan , School of CTI, DePaul University
pp. 170-179
Session 9
Kazushige Terui , National Institute of Informatics, Japan
pp. 182-191
Stefano Berardi , University of Turin, Italy
Yohji Akama , Tohoku University, Sendai, Japan
Ulrich Kohlenbach , Darmstadt University of Technology, Germany
pp. 192-201
Benedetto Intrigila , Universit? degli Studi di L'Aquila, Italy
Richard Statman , Carnegie-Mellon University, Pittsburgh, PA
pp. 202-210
Carsten F?hrmann , University of Bath, England, UK
pp. 211-220
Session 10
Andrei Krokhin , University of Warwick, UK
Benoit Larose , Concordia University, Canada
pp. 232-241
Parametric Limits (Abstract)
Brian Dunphy , University of Illinois
pp. 242-251
Session 11
Robert Harper , Carnegie Mellon University, Pittsburgh, PA
pp. 254-255
Stephen Cook , University of Toronto
Neil Thapen , University of Toronto
pp. 256-264
Session 12
Patrick Baillot , Universit? Paris-Nord, France
Kazushige Terui , National Institute of Informatics, Tokyo, Japan
pp. 266-275
Antonio Bucciarelli , Universit? Paris 7, France
pp. 276-285
Karl Crary , Carnegie Mellon
Tom Murphy VII , Carnegie Mellon
Frank Pfenning , Carnegie Mellon
pp. 286-295
Session 13
Davide Sangiorgi , University of Bologna, Italy
pp. 298-302
MohammadReza Mousavi , Eindhoven University of Technology (TU/e), The Netherlands
Michel Reniers , Eindhoven University of Technology (TU/e), The Netherlands
Jan Friso Groote , Eindhoven University of Technology (TU/e), The Netherlands
pp. 303-312
Session 14
Ulrich Berger , University of Wales Swansea, UK
pp. 326
Dennis Dams , Bell Labs, Lucent Technologies, Murray Hill, NJ
Kedar S. Namjoshi , Bell Labs, Lucent Technologies, Murray Hill, NJ
pp. 335-344
Johann Deneux , Uppsala University
Parosh Aziz Abdulla , Uppsala University
pp. 345-354
Session 15
Igor Walukiewicz , Universit? Bordeaux-1 and CNRS, France
pp. 356-366
Gustav Nordh , Link?pings Universitet, Sweden
Peter Jonsson , Link?pings Universitet, Sweden
pp. 367-376
Session 16
Phuong Nguyen , University of Toronto
pp. 378-387
J? Flum , Albert-Ludwigs Universit?t Freiburg, Germany
pp. 388-397
Stephen Cook , University of Toronto
pp. 398-407
Session 17
Samson Abramsky , Oxford University Computing Laboratory
pp. 410-414
Samson Abramsky , Oxford University Computing Laboratory
Bob Coecke , Oxford University Computing Laboratory
pp. 415-425
J. Raymundo Marcial-Romero , University of Birmingham, England
Mart?n H. Escard? , University of Birmingham, England
pp. 426-435
Session 18
Martin Grohe , Humboldt-Universit?t Berlin, Germany
Nicole Schweikardt , Humboldt-Universit?t Berlin, Germany
pp. 438-447
Kerkko Luosto , University of Helsinki
pp. 458-465
Author Index (PDF)
pp. 467
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool