Peter Deussen (Ed.):
Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings.
Lecture Notes in Computer Science 104 Springer 1981, ISBN 3-540-10576-X 
Ingo Wegener:
Boolean Functions Whose Monotone Complexity is of Size n2/log n.
22-31
Jürgen Sattler:
Netzwerke zur simultanen Berechnung Boolescher Funktionen.
32-40
Günter Hotz:
Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen.
76-77
Jean-Eric Pin:
Un analogue du théorème des variétés pour les cones et les cylindres.
78-90
Reiner Güttler:
Erzeugung optimalen Codes für Series - Parallel Graphs.
109-122
Luc Boasson:
Some Applications of CFL's over Infinte Alphabets.
146-151
Christian Choffrut:
Prefix-Preservation fo Rational Partial Functions Is Decidable.
159-166
Horst Müller:
Reachability Analysis with Assertion Systems.
214-223
data released under the ODC-BY 1.0 license
