Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
Author(s)
Bibliographic Information
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
(Lecture notes in computer science, 104)
Springer-Verlag, 1981
- : gw
- : us
Available at / 59 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||1042719161
-
Kobe University Library for Science and Technology
: us548-0-6//104031008805948,
548-0-6//1041008805948 -
University of Tsukuba Library, Library on Library and Information Science
Germany007.08:L-49:104881003430
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and index
Description and Table of Contents
Table of Contents
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 (Ausfuhrliche 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 fur 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.
by "Nielsen BookData"