Read While You Wait - Get immediate ebook access, if available*, when you order a print book

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.)

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

Buy this book

eBook 46,00 €
price for Spain (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 56,16 €
price for Spain (gross)
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)

Table of contents (24 chapters)

Buy this book

eBook 46,00 €
price for Spain (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 56,16 €
price for Spain (gross)
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
23 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.