Publisher: Springer; 2012 edition (July 9, 2012)
Format: PDF / Kindle / ePub
Size: 8.8 MB
Downloadable formats: PDF
This publication constitutes the refereed lawsuits of the 14th foreign Workshop of Descriptional Complexity of Formal structures 2012, held in Braga, Portugal, in July 2012. The 20 revised complete papers awarded including four invited papers have been conscientiously reviewed and chosen from 33 submissions. the subjects lined are automata, grammars, languages and comparable platforms, numerous measures and modes of operations (e.g., determinism and nondeterminism); trade-offs among computational types and/or operations; succinctness of description of (finite) items; nation explosion-like phenomena; circuit complexity of Boolean services and similar measures; resource-bounded or structure-bounded environments; frontiers among decidability and undecidability; universality and reversibility; structural complexity; formal structures for purposes (e.g., software program reliability, software program and checking out, modeling of typical languages); nature-motivated (bio-inspired) architectures and unconventional versions of computing; Kolmogorov complexity.
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Lecture Notes in Computer Science) pdf