Advertisement

Automata, Languages and Programming

34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

  • Editors
  • Lars Arge
  • Christian Cachin
  • Tomasz Jurdziński
  • Andrzej Tarlecki

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

Table of contents

  1. Session B2

    1. Stephan Kreutzer, Martin Otto, Nicole Schweikardt
      Pages 571-582
  2. Session A12

    1. Amos Fiat, Haim Kaplan, Meital Levy, Svetlana Olonetsky
      Pages 583-594
  3. Session B3

    1. Marcelo Fiore, Chung-Kil Hur
      Pages 607-618
    2. Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
      Pages 619-630
  4. Session A13

    1. Laurent Bienvenu, Wolfgang Merkle
      Pages 643-654
    2. Gary L. Miller, Todd Phillips, Donald Sheehy
      Pages 655-666
  5. Session B4

    1. Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
      Pages 680-691
  6. Session A14

  7. Session B5

    1. Gerald Lüttgen, Walter Vogler
      Pages 752-763
    2. Jean Goubault-Larrecq
      Pages 764-776
  8. Session A15

    1. Amin Coja-Oghlan, Konstantinos Panagiotou, Angelika Steger
      Pages 777-788
    2. Noga Alon, Amin Coja-Oghlan, Hiệp Hàn, Mihyun Kang, Vojtěch Rödl, Mathias Schacht
      Pages 789-800
    3. Markus Bläser, Holger Dell
      Pages 801-812
  9. Session B6

    1. Bernard Boigelot, Julien Brusten
      Pages 813-824
    2. Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin
      Pages 825-837
    3. Marcin Jurdziński, Ashutosh Trivedi
      Pages 838-849
    4. Hugo Gimbert, Wiesław Zielonka
      Pages 850-861
  10. Session B7

    1. Henrik Björklund, Mikołaj Bojańczyk
      Pages 862-874
    2. Wong Karianto, Christof Löding
      Pages 875-887
    3. Marcelo Arenas, Pablo Barceló, Leonid Libkin
      Pages 888-900
    4. Thomas Colcombet
      Pages 901-912
  11. Session B8

    1. Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
      Pages 913-924
    2. Laura Bozzelli, Salvatore La Torre
      Pages 925-936
    3. Salvatore La Torre, Gennaro Parlato
      Pages 937-948
  12. Paper Retraction

    1. Matthew Cary, Atri Rudra, Ashish Sabharwal
      Pages 949-949
  13. Back Matter

About these proceedings

Keywords

Automat algorithms automata complexity logic programming security

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73420-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73419-2
  • Online ISBN 978-3-540-73420-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site