Descriptional Complexity of Formal Systems

Name: Descriptional Complexity of Formal Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642316227
Price: 276.6 RON
Availability: InStock

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

Autor: Martin Kutrib, Nelma Moreira, Rogério Reis

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.60 lei

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional C...

Informații despre carte

Autor

Martin Kutrib, Nelma Moreira, Rogério Reis

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

319

EAN

9783642316227

ISBN

3642316220

Enbook ID

01661601

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

510

Dimensiuni

155 x 235 x 19

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Descriptional Complexity of Formal Systems

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și