عنوان

Theoretical computer science :

شابک

3540385614

شابک

9783540385615

شماره

b565882

عنوان اصلي

Theoretical computer science :

نام عام مواد

[Book]

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

5th GI-conference, Karlsruhe, March 23-25, 1981

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

edited by Peter Deussen.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

1981

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

(vii, 260 pages) : illustrations

عنوان فروست

Lecture notes in computer science, 104.

متن يادداشت

English, French, or German.

متن يادداشت

On the subword complexity and square-freeness of formal languages --; Cycle-free IN-algebraic systems --; On the height of syntactical graphs --; Boolean functions whose monotone complexity is of size n2/log n --; Netzwerke zur simultanen Berechnung Boolescher Funktionen (Ausführliche Kurzfassung) --; The computational complexity of bilinear multiplications --; P --; complete problems in free groups --; Quelques proprietes des langages a un Compteur --; Un resultat de discontinuite dans les familles de langages --; Verallgemeinerte kommutative Sprachen --; Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sarachen --; Un analogue du theoreme des varietes pour les cones et les cylindres --; A family of graphs with expensive depth-reduction --; On?-balanced binary search trees --; Erzeugung optimalen Codes für Series --; Parallel Graphs --; Recent directions in algorithmic research --; Dynamic k-dimensional multiway search under time-varying access frequencies --; Some applications of CFL's over infinite alphabets --; A decidable property of iterated morphisms --; Prefix-preservation for rational partial functions is decidable --; Concurrency and automata on infinite sequences --; An effective retract calculus --; Recursion and complexity theory on CPO-S --; Computable algebras, word problems and canonical term algebras --; Reachability analysis with assertion systems --; Dynamization of decomposable searching problems yielding good worst-case bounds --; Robust balancing in B-trees --; Centers of languages --; (Erasing)* strings.

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

Computer science -- Congresses.

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

Computer science.

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

edited by Peter Deussen.

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

Gesellschaft für Informatik.

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

Peter Deussen

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

نوع ماده

[Book]

تكميل شده

Y