عنوان

Descriptional complexity of formal systems :

شابک

3642226000

شابک

9783642226007

شابک اشتباه

3642225993

شابک اشتباه

9783642225994

شماره

b434155

عنوان اصلي

Descriptional complexity of formal systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings /

نام نخستين پديدآور

Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)

نام خاص و کميت اثر

1 online resource (x, 327 pages) :

ساير جزييات

illustrations

عنوان فروست

Lecture notes in computer science,

عنوان فروست

LNCS sublibrary. SL 1, Theoretical computer science and general issues

مشخصه جلد

6808

شاپا ي ISSN فروست

0302-9743 ;

متن يادداشت

Includes bibliographical references and index

متن يادداشت

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 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

عنوان

Descriptional Complexity of Formal Systems.

شماره استاندارد بين المللي کتاب و موسيقي

9783642225994

عنوان اصلي به زبان ديگر

DCFS 2011

موضوع مستند نشده

Formal languages, Congresses

موضوع مستند نشده

Formal methods (Computer science), Congresses

موضوع مستند نشده

Machine theory, Congresses

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Holzer, Markus

مستند نام اشخاص تاييد نشده

Kutrib, Martin

مستند نام اشخاص تاييد نشده

Pighizzini, Giovanni

مستند نام تنالگان تاييد نشده

DCFS (Workshop)(13th :2011 :, Giessen, Germany; Limburg, Germany)

تاريخ عمليات

20170726082125.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y