Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981
1111333152
Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981
54.99 In Stock
Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981

Theoretical Computer Science: 5th GI-Conference Karlsruhe, March 23-25, 1981

Paperback(1981)

$54.99 
  • SHIP THIS ITEM
    In stock. Ships in 6-10 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

Product Details

ISBN-13: 9783540105763
Publisher: Springer Berlin Heidelberg
Publication date: 04/13/1981
Series: Lecture Notes in Computer Science , #104
Edition description: 1981
Pages: 266
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

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 (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.
From the B&N Reads Blog

Customer Reviews