Theoretical Computer Science

7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings

  • Antonio Restivo
  • Simona Ronchi Della Rocca
  • Luca Roversi
Conference proceedings ICTCS 2001

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. GianLuigi Ferrari, Ugo Montanari, Emilio Tuosto
    Pages 1-16
  3. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
    Pages 17-37
  4. Silvia Ghilezan, Viktor Kunčak
    Pages 38-49
  5. Mario Coppo, Daniel Hirschkoff
    Pages 50-73
  6. Juraj Hromkovič, Kathleen Steinhöfel, Peter Widmayer
    Pages 90-106
  7. Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-Oba
    Pages 107-122
  8. Carlo Mereghetti, Beatrice Palano
    Pages 123-135
  9. Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini
    Pages 136-153
  10. Alessandra Cherubini, Stefano Crespi Reghizzi, Pierluigi San Pietro
    Pages 172-183
  11. Dora Giammarresi, Rosa Montalbano, Derick Wood
    Pages 184-196
  12. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
    Pages 215-234
  13. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Pages 235-255
  14. Diletta Cacciagrano, Flavio Corradini
    Pages 256-268
  15. Lars Jacobsen, Kim S. Larsen
    Pages 269-284
  16. Jiři Fiala, Jan Kratochvíl, Andrzej Proskurowski
    Pages 285-292
  17. Lars Jacobsen, Kim S. Larsen
    Pages 293-311
  18. Giorgio Ausiello, Paolo G. Franciosa, Daniele Frigioni
    Pages 312-328
  19. Alexis C. Kaporis, Lefteris M. Kirousis, Yannis C. Stamatiou, Malvina Vamvakari, Michele Zito
    Pages 328-338
  20. Stelvio Cimato, Annalisa De Bonis
    Pages 370-383
  21. Nicola Olivetti, Camilla B. Schwind
    Pages 384-404
  22. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Pages 405-426
  23. Emanuele Viola
    Pages 426-438
  24. Back Matter
    Pages 439-440

About these proceedings


This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.
The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.


Algorithms algorithm data structure formal language lambda calculus logic programming

Authors and affiliations

  • Antonio Restivo
    • 1
  • Simona Ronchi Della Rocca
    • 2
  • Luca Roversi
    • 2
  1. 1.Dipartimento di Matematica ed ApplicazioniUniversità di PalermoPalermoItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42672-1
  • Online ISBN 978-3-540-45446-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods