The Community for Technology Leaders
RSS Icon
Subscribe
Logic in Computer Science, Symposium on (2000)
Santa Barbara, California
June 26, 2000 to June 29, 2000
ISBN: 0-7695-0725-5
TABLE OF CONTENTS
Invited Talk
Ronald Fagin , IBM Almaden Research Center
pp. 3
Session 1a
L. Birkedal , The IT University of Copenhagen
pp. 7
Alex Simpson , University of Edinburgh
Gordon Plotkin , University of Edinburgh
pp. 30
Session 1b
Steven Lindell , Haverford College
Scott Weinstein , University of Athens and University of Pennsylvania
pp. 45
Achim Blumensath , RWTH Aachen
Erich Grädel , RWTH Aachen
pp. 51
Foto Afrati , National Technical University Athens
Hans Leiß , Universit?t M?nchen
Michel de Rougemont , Universit? Paris-II and LRI B?timent
pp. 63
Session 2a
Samuel R. Buss , University of California at San Diego
Bruce Kapron , University of Victoria
pp. 77
Klaus Aehlig , Ludwig-Maximilians-Universit?t M?nchen
Helmut Schwichtenberg , Ludwig-Maximilians-Universit?t M?nchen
pp. 84
Session 2b
Josée Desharnais , McGill University
Prakash Panangaden , McGill University
Radha Jagadeesan , Loyola University-Lake Shore Campus
Vineet Gupta , PurpleYogi.com
pp. 95
Bard Bloom , IBM T.J. Watson Research Center
Rob Van Glabbeek , Stanford University
pp. 107
Session 3a
Luca de Alfaro , University of California at Berkeley
Thomas A. Henzinger , University of California at Berkeley
pp. 141
Session 3b
Kjell Lemström , University of Helsinki
Lauri Hella , University of Helsinki
pp. 157
Clifford Bergman , Iowa State University
Giora Slutzki , Iowa State University
pp. 168
Invited Talks
Session 4a
A.S. Murawski , Oxford University
C.-H.L. Ong , Oxford University
pp. 181
Juliusz Chroboczek , ?cole Normale Sup?rieure
pp. 192
Vincent Danos , Universit? Paris VII
Russell Harmer , Universit? Paris VII
pp. 204
Session 4b
Erich Graedel , RWTH Aachen
Colin Hirsch , RWTH Aachen
Martin Otto , University of Wales Swansea
pp. 217
More Past Glories (Abstract)
Mark Reynolds , Murdoch University
pp. 229
Session 5a
Hiroshi Nakano , Ryukoku University
pp. 255
Frédéric Prost , Universit? Paris Sud
pp. 267
Session 5b
Tatiana Rybina , University of Manchester
Andrei Voronkov , University of Manchester
pp. 279
Invited Talks
Jean-Louis Krivine , Universit? Paris VII
pp. 307
Session 6a
Gian Luca Cattani , University of Cambridge
Peter Sewell , University of Cambridge
pp. 322
Nobuko Yoshida , University of Leicester
Matthew Hennessy , University of Sussex
pp. 334
Session 6b
Martin Grohe , Institut fur Mathematische Logik
Luc Segoufin , INRIA
pp. 349
Diego Calvanese , Universit? di Roma ?La Sapienza?
Giuseppe de Giacomo , Universit? di Roma ?La Sapienza?
Maurizio Lenzerini , Universit? di Roma ?La Sapienza?
Moshe Y. Vardi , Rice University
pp. 361
Session 7a
Hongwei Xi , University of Cincinnati
pp. 375
Jens Palsberg , Purdue University
Tian Zhao , Purdue University
pp. 388
Session 7b
Guillem Godoy , University of Catalonia
Robert Nieuwenhuis , University of Catalonia
pp. 413
Author Index (PDF)
pp. 426
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool