Skip to main content
SpringerLink
Log in
Book cover

Theoretical Computer Science

7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Jos C. M. Baeten

    1. Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Ball

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Frank S. Boer

    1. Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: TCS 2012.

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

  1. Proofs as Executions

    • Emmanuel Beffara, Virgile Mogbil
    Pages 280-294

  2. Efficient Algorithms for the max k -vertex cover Problem

    • Federico Della Croce, Vangelis Th. Paschos
    Pages 295-309

  3. A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words

    • Colin Riba
    Pages 310-324

  4. Compositional Abstraction Techniques for Probabilistic Automata

    • Falak Sher, Joost-Pieter Katoen
    Pages 325-341

  5. Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

    • Lei Song, Jens Chr. Godskesen
    Pages 342-356

  6. An Intersection Type System for Deterministic Pushdown Automata

    • Takeshi Tsukada, Naoki Kobayashi
    Pages 357-371

  7. An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus

    • Steffen van Bakel, Maria Grazia Vigliotti
    Pages 372-387

  8. Erratum: Probabilistic Inference and Monadic Second Order Logic

    • Hans L. Bodlaender
    Pages E1-E1

  9. Erratum: Cinderella versus the Wicked Stepmother

    • Marijke H. L. Bodlaender, Cor A. J. Hurkens, Vincent J. J. Kusters, Frank Staals, Gerhard J. Woeginger, Hans Zantema
    Pages E2-E2

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Theoretical Computer Science

Keywords

About this book

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012.
The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

Editors and Affiliations

  • Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

    Jos C. M. Baeten, Frank S. Boer

  • Microsoft Research, Redmond, USA

    Tom Ball

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation