Skip to main content
SpringerLink
Log in

Theoretical Computer Science

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

  • Conference proceedings
  • © 2001

Overview

Authors:
  1. Antonio Restivo

    1. Dipartimento di Matematica ed Applicazioni, Università di Palermo, Palermo, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Simona Ronchi Rocca

    1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Luca Roversi

    1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. A LTS Semantics of Ambients via Graph Synchronization with Mobility

    • GianLuigi Ferrari, Ugo Montanari, Emilio Tuosto
    Pages 1-16

  3. Filter Models and Easy Terms

    • Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
    Pages 17-37

  4. Confluence of Untyped Lambda Calculus via Simple Types

    • Silvia Ghilezan, Viktor Kunčak
    Pages 38-49

  5. Incremental Inference of Partial Types

    • Mario Coppo, Daniel Hirschkoff
    Pages 50-73

  6. Call-by-Value Separability and Computability

    • Luca Paolini
    Pages 74-89

  7. Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms

    • Juraj Hromkovič, Kathleen Steinhöfel, Peter Widmayer
    Pages 90-106

  8. Job Shop Scheduling Problems with Controllable Processing Times

    • Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-Oba
    Pages 107-122

  9. Upper Bounds on the Size of One-Way Quantum Finite Automata

    • Carlo Mereghetti, Beatrice Palano
    Pages 123-135

  10. P Systems with Gemmation of Mobile Membranes

    • Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini
    Pages 136-153

  11. Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Sset of Autonomous Mobile Robots

    • Giuseppe Prencipe
    Pages 154-171

  12. Some Structural Properties of Associative Language Descriptions

    • Alessandra Cherubini, Stefano Crespi Reghizzi, Pierluigi San Pietro
    Pages 172-183

  13. Block-Deterministic Regular Languages

    • Dora Giammarresi, Rosa Montalbano, Derick Wood
    Pages 184-196

  14. Constructing Finite Maximal Codes from Schützenberger Conjecture

    • Marcella Anselmo
    Pages 197-214

  15. An Effective Translation of Fickle into Java

    • Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
    Pages 215-234

  16. Subtyping and Matching for Mobile Objects

    • Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Pages 235-255

  17. On Synchronous and Asynchronous Communication Paradigms

    • Diletta Cacciagrano, Flavio Corradini
    Pages 256-268

  18. Complexity of Layered Binary Search Trees with Relaxed Balance

    • Lars Jacobsen, Kim S. Larsen
    Pages 269-284

  19. Distance Constrained Labeling of Precolored Trees

    • Jiři Fiala, Jan Kratochvíl, Andrzej Proskurowski
    Pages 285-292

  20. Exponentially Decreasing Number of Operations in Balanced Trees

    • Lars Jacobsen, Kim S. Larsen
    Pages 293-311
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Dipartimento di Matematica ed Applicazioni, Università di Palermo, Palermo, Italy

    Antonio Restivo

  • Dipartimento di Informatica, Università di Torino, Torino, Italy

    Simona Ronchi Rocca, Luca Roversi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation