Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R2,560
Discovery Miles 25 600
|
|
Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Paperback, 2014 ed.)
Series: Lecture Notes in Computer Science, 8614
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 16th
International Conference on Descriptional Complexity of Formal
Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27
full papers presented were carefully reviewed and selected from 35
submissions. The conference dealt with the following topics:
Automata, grammars, languages and other formal systems; various
modes of operation and complexity measures; trade-offs between
computational models and modes of operation; succinctness of
description of 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; complexity aspects of combinatorics on words; Kolmogorov
complexity.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.