Advertisement

Automata, Languages and Programming

31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

  • Josep Díaz
  • Juhani Karhumäki
  • Arto Lepistö
  • Donald Sannella

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3142)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Contributed Papers

    1. Martín Abadi, Véronique Cortier
      Pages 46-58
    2. Michael Abbott, Thorsten Altenkirch, Neil Ghani
      Pages 59-71
    3. Gagan Aggarwal, Tomás Feder, Rajeev Motwani, An Zhu
      Pages 72-83
    4. Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
      Pages 84-96
    5. Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
      Pages 97-109
    6. Noga Alon, Vera Asodi
      Pages 110-121
    7. Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
      Pages 122-133
    8. Robert Atkey
      Pages 158-170
    9. Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano
      Pages 171-182
    10. Baruch Awerbuch, Christian Scheideler
      Pages 183-195
    11. Nikhil Bansal, Lisa K Fleischer, Tracy Kimbrel, Mohammad Mahdian, Baruch Schieber, Maxim Sviridenko
      Pages 196-207
    12. N. Berger, C. Borgs, J. T. Chayes, R. M. D’Souza, R. D. Kleinberg
      Pages 208-221
    13. Andreas Björklund, Thore Husfeldt, Sanjeev Khanna
      Pages 222-233
    14. Carlo Blundo, Paolo D’Arco, Alfredo De Santis
      Pages 234-245
    15. Mikołaj Bojańczyk, Thomas Colcombet
      Pages 246-256
    16. Pierre Boudes
      Pages 257-268
    17. Glenn Bruns, Patrice Godefroid
      Pages 281-293
    18. Andrei Bulatov, Martin Grohe
      Pages 294-306
    19. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
      Pages 307-319
    20. Ning Chen, Xiaotie Deng, Xiaoming Sun, Andrew Chi-Chih Yao
      Pages 320-331
    21. James Cheney
      Pages 332-344
    22. George Christodoulou, Elias Koutsoupias, Akash Nanavati
      Pages 345-357
    23. Marek Chrobak, Wojciech Jawor, Jiří Sgall, Tomáš Tichý
      Pages 358-370
    24. Bruno Codenotti, Kasturi Varadarajan
      Pages 371-382
    25. Amin Coja-Oghlan
      Pages 383-395
    26. Artur Czumaj, Christian Sohler
      Pages 396-407
    27. Robert Da̧browski, Wojtek Plandowski
      Pages 408-419
    28. Anuj Dawar, Erich Grädel, Stephan Kreutzer
      Pages 420-432
    29. Xiaotie Deng, Guojun Li
      Pages 433-444
    30. Yuxin Deng, Davide Sangiorgi
      Pages 445-456
    31. Bruno Durand, Andrei Muchnik, Maxim Ushakov, Nikolai Vereshchagin
      Pages 457-468
    32. Zdeněk Dvořák, Daniel Král’, Ondřej Pangrác
      Pages 469-480
    33. Christoph Dürr, Mark Heiligman, Peter Høyer, Mehdi Mhalla
      Pages 481-493
    34. A. Edalat, D. Pattinson
      Pages 494-505
    35. Claudia Faggian
      Pages 506-518
    36. Uriel Feige, Eran Ofek
      Pages 519-530
    37. Joan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, Jian Zhang
      Pages 531-543
    38. Jörg Flum, Martin Grohe, Mark Weyer
      Pages 555-567
    39. Fedor V. Fomin, Dieter Kratsch, Ioan Todinca
      Pages 568-580

About these proceedings

Keywords

Automat algorithms automata complexity computer computer science database programming

Editors and affiliations

  • Josep Díaz
    • 1
  • Juhani Karhumäki
    • 2
  • Arto Lepistö
    • 3
  • Donald Sannella
    • 4
  1. 1.Departament de Llenguatges i Sistemes InformaticsUniversitat Politecnica de Catalunya, Campus Nord - Ed. OmegaBarcelona
  2. 2.Department of Mathematics and Turku Centre for Computer Science TUCSUniversity of TurkuTurkuFinland
  3. 3.Department of MathematicsUniversity of TurkuTurkuFinland
  4. 4.Laboratory for Foundations of Computer ScienceUniversity of Edinburgh 

Bibliographic information

  • DOI https://doi.org/10.1007/b99859
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22849-3
  • Online ISBN 978-3-540-27836-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site