Theoretical Computer Science 5th GI-Conference Karlsruhe, March 23-25, 1981 / herausgegeben von P. Deussen.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Deussen, P. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981.
Edition:1st ed. 1981.
Series:Lecture Notes in Computer Science, 104
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.