Advertisement

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006

IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile

  • Gonzalo Navarro
  • Leopoldo Bertossi
  • Yoshiharu Kohayakawa

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 209)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Marcelo Arenas
      Pages 3-3
    3. Claudio Gutièrrez
      Pages 7-7
    4. Marcos Kiwi
      Pages 9-10
    5. Mihalis Yannakakis
      Pages 13-13
  3. Invited Papers

    1. Front Matter
      Pages 15-15
    2. Jozef Gruska
      Pages 17-46
    3. Giuseppe Prencipe, Nicola Santoro
      Pages 47-62
  4. Contributed Papers

    1. Front Matter
      Pages 63-63
    2. Brian C. Dean, Michel X. Goemans, Nicole Immorlica
      Pages 65-75
    3. Walter Guttmann, Markus Maucher
      Pages 77-90
    4. Luca Bortolussi, Francesco Fabris, Aberto Policriti
      Pages 91-102
    5. Andrej Brodnik, Johan Karlsson, J. Ian Munro, Andreas Nilsson
      Pages 103-114
    6. Stefan Dobrev, Paola Flocchini, Rastislav Královič, Nicola Santoro
      Pages 131-150
    7. Denis Caromel, Ludovic Henrio
      Pages 165-183
    8. Thierry Jéron, Hervé Marchand, Vlad Rusu
      Pages 197-212
    9. Julien ďOrso, Tayssir Touili
      Pages 213-230
    10. Stephen L. Bloom, Zoltán Ésik
      Pages 231-249
    11. Hans-Joachim Böckenhauer, Luca Forlizzi, Juraj Hromkovič, Joachim Kneis, Joachim Kupke, Guido Proietti et al.
      Pages 251-270
    12. Amin Coja-Oghlan, Andreas Goerdt, André Lanka
      Pages 271-282
    13. Marco Abraham, Rolf Kötter, Antje Krumnack, Egon Wanke
      Pages 283-298
    14. Xiuzhen Huang, Jianer Chen
      Pages 299-313
  5. Back Matter
    Pages 315-315

About these proceedings

Introduction

International Federation for Information Processing

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.  Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.  These results often precede journal publication and represent the most current research.  The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

 

For more information about the 300 other books in the IFIP series, please visit www.springer.com.

 

For more information about IFIP, please visit www.ifip.org.

Keywords

Automat algorithms artificial intelligence automata computer computer science model checking

Editors and affiliations

  • Gonzalo Navarro
    • 1
  • Leopoldo Bertossi
    • 2
  • Yoshiharu Kohayakawa
    • 3
  1. 1.Universidad de ChileChile
  2. 2.Carleton UniversityCanada
  3. 3.Universidade de Sao PauloBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-34735-6
  • Copyright Information International Federation for Information Processing 2006
  • Publisher Name Springer, Boston, MA
  • eBook Packages Computer Science
  • Print ISBN 978-0-387-34633-5
  • Online ISBN 978-0-387-34735-6
  • Series Print ISSN 1571-5736
  • Buy this book on publisher's site