More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Theoretical Computer Science and General Issues

Descriptional Complexity of Formal Systems

14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

Editors: Kutrib, Martin, Moreira, Nelma, Reis, Rogério (Eds.)

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

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-31623-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-31622-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012.
The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.

Table of contents (24 chapters)

  • Computing with Capsules

    Jeannin, Jean-Baptiste (et al.)

    Pages 1-19

  • Minicomplexity

    Kapoutsis, Christos A.

    Pages 20-42

  • Logical Analysis of Hybrid Systems

    Platzer, André

    Pages 43-49

  • Groups and Automata: A Perfect Match

    Silva, Pedro V.

    Pages 50-63

  • Uniform Distributed Pushdown Automata Systems

    Arroyo, Fernando (et al.)

    Pages 64-75

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-642-31623-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $83.00
price for USA
  • ISBN 978-3-642-31622-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Descriptional Complexity of Formal Systems
Book Subtitle
14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Editors
  • Martin Kutrib
  • Nelma Moreira
  • Rogério Reis
Series Title
Theoretical Computer Science and General Issues
Series Volume
7386
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-31623-4
DOI
10.1007/978-3-642-31623-4
Softcover ISBN
978-3-642-31622-7
Edition Number
1
Number of Pages
X, 319
Number of Illustrations and Tables
23 b/w illustrations
Topics