Theoretical Computer Science

9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

  • Mario Coppo
  • Elena Lodi
  • G. Michele Pinna
Conference proceedings ICTCS 2005

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

Table of contents

  1. Front Matter
  2. Invited Contributions

  3. Technical Contributions

    1. Luzi Anderegg, Mark Cieliebak, Giuseppe Prencipe
      Pages 23-35
    2. Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa
      Pages 36-50
    3. Benjamin Aziz, David Gray, Geoff Hamilton
      Pages 51-65
    4. Steffen van Bakel, Ugo de’Liguoro
      Pages 66-80
    5. Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne
      Pages 81-96
    6. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
      Pages 97-112
    7. Lorenzo Bettini, Viviana Bono, Silvia Likavec
      Pages 128-142
    8. Nadia Busi, Gianluigi Zavattaro
      Pages 143-159
    9. Giuseppe Castagna, Dario Colazzo, Alain Frisch
      Pages 160-172
    10. Marie-Christine Costa, Fethi Jarray, Christophe Picouleau
      Pages 173-181
    11. Bhaskar DasGupta, Sergio Ferrarini, Uthra Gopalakrishnan, Nisha Raj Paryani
      Pages 182-195
    12. Gianluca De Marco, Marco Pellegrini, Giovanni Sburlati
      Pages 196-204
    13. Bruno Escoffier, Jérôme Monnot, Vangelis Th. Paschos
      Pages 205-214
    14. Stephen A. Fenner, Yong Zhang
      Pages 215-227

About these proceedings

Keywords

Algorithms Automat algorithm automata bioinformatics complexity computer computer science formal language formal languages programming programming language term rewriting verification

Editors and affiliations

  • Mario Coppo
    • 1
  • Elena Lodi
    • 2
  • G. Michele Pinna
    • 3
  1. 1.Dipartimento di InformaticaUniversità di Torino 
  2. 2.Dipartimento di Scienze Matematiche e InformaticheUniversità di SienaSienaItaly
  3. 3.Dipartimento di Matematica e InformaticaUniversità di Cagliari

Bibliographic information

  • DOI https://doi.org/10.1007/11560586
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29106-0
  • Online ISBN 978-3-540-32024-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book