Skip to main content
  • Conference proceedings
  • © 2005

STACS 2005

22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): STACS: Annual Symposium on Theoretical Aspects of Computer Science

Conference proceedings info: STACS 2005.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

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

Table of contents (57 papers)

  1. Front Matter

  2. Session 1B

    1. The Variable Hierarchy of the μ-Calculus Is Strict

      • Dietmar Berwanger, Giacomo Lenzi
      Pages 97-109
    2. The Core of a Countably Categorical Structure

      • Manuel Bodirsky
      Pages 110-120
  3. Session 2B

    1. On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

      • Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský
      Pages 145-157
    2. Deciding Properties of Contract-Signing Protocols

      • Detlef Kähler, Ralf Küsters, Thomas Wilke
      Pages 158-169
  4. Session 3A

    1. Polylog-Time Reductions Decrease Dot-Depth

      • Christian Glaßer
      Pages 170-181
    2. On the Computational Complexity of the Forcing Chromatic Number

      • Frank Harary, Wolfgang Slany, Oleg Verbitsky
      Pages 182-193
  5. Session 3B

    1. Three Optimal Algorithms for Balls of Three Colors

      • Zdeněk Dvořák, Vít Jelínek, Daniel Král’, Jan Kynčl, Michael Saks
      Pages 206-217
    2. Cost Sharing and Strategyproof Mechanisms for Set Cover Games

      • Xiang-Yang Li, Zheng Sun, Weizhao Wang
      Pages 218-230
    3. On Weighted Balls-into-Bins Games

      • Petra Berenbrink, Tom Friedetzky, Zengjian Hu, Russell Martin
      Pages 231-243

Other Volumes

  1. STACS 2005

Editors and Affiliations

  • Universität Stuttgart, FMI, Germany

    Volker Diekert

  • LIF, CNRS & Univ. de Provence,, Marseille

    Bruno Durand

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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