Skip to main content
SpringerLink
Log in
Book cover

Theoretical Computer Science

8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Carlo Blundo

    1. Dipartimento di Informatica e Applicazioni, Università degli Studi di Salerno, Fisciano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cosimo Laneve

    1. Department of Computer Science, University of Bologna,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICTCS 2003.

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 (30 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Extreme Nash Equilibria

      • Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul Spirakis
      Pages 1-20

    2. Certification of Memory Usage

      • Martin Hofmann
      Pages 21-21

    3. On Programming Models for Mobility

      • Gérard Boudol
      Pages 22-22

  3. Program Design, Models and Analysis

    1. On the Computational Complexity of Cut-Elimination in Linear Logic

      • Harry G. Mairson, Kazushige Terui
      Pages 23-36

    2. A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics

      • Claudio Sacerdoti Coen
      Pages 37-57

    3. Finite Horizon Analysis of Stochastic Systems with the Murφ Verifier

      • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
      Pages 58-71

    4. Towards Compact and Tractable Automaton-Based Representations of Time Granularities

      • Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
      Pages 72-85

    5. Lower Bounds on the Size of Quantum Automata Accepting Unary Languages

      • Alberto Bertoni, Carlo Mereghetti, Beatrice Palano
      Pages 86-96

    6. Refined Effects for Unanticipated Object Re-classification: \(\mathcal{F}ickle_{\rm 3}\)

      • Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
      Pages 97-110

  4. Algorithms and Complexity

    1. Cost Constrained Fixed Job Scheduling

      • Qiwei Huang, Errol Lloyd
      Pages 111-124

    2. A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set

      • Jens Gustedt, Jan Arne Telle
      Pages 125-136

    3. An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality

      • Alessandro Ferrante, Mimmo Parente
      Pages 137-149

    4. Channel Assignment in Honeycomb Networks

      • Alan A. Bertossi, Cristina M. Pinotti, Romea Rizzi, Anil M. Shende
      Pages 150-162

    5. Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks

      • Tiziana Calamoneri
      Pages 163-173

    6. The Complexity of Checking Consistency of Pedigree Information and Related Problems

      • Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
      Pages 174-187

    7. On Clausal Equivalence and Hull Inclusion

      • K. Subramani
      Pages 188-201

  5. Semantics and Formal Languages

    1. Logical Semantics for the First Order ς-Calculus

      • Steffen van Bakel, Ugo de’Liguoro
      Pages 202-215

    2. On the Expressive Power of Light Affine Logic

      • Ugo Dal Lago
      Pages 216-227

    3. Reasoning about Self and Others: Communicating Agents in a Modal Action Logic

      • Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
      Pages 228-241
Back to top

Other volumes

  1. Theoretical Computer Science

Keywords

Editors and Affiliations

  • Dipartimento di Informatica e Applicazioni, Università degli Studi di Salerno, Fisciano, Italy

    Carlo Blundo

  • Department of Computer Science, University of Bologna,  

    Cosimo Laneve

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation