Theoretical Computer Science 3rd GI Conference Darmstadt, March 28-30, 1977 [Paperback]

On polynomial time isomorphisms of complete sets.- New bounds on formula size.- Informatique et algebre la theorie des codes a longueur variable.- On a description of tree-languages by languages.- Higher type program schemes and their tree languages.- Das ?quivalenzproblem f?r spezielle Klassen von Loop-1-Programmen.- A comparative study of one-counter Ianov schemes.- Grobstrukturen f?r kontextfreie Grammatiken.- Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.- Eine untere Schranke f?r den Platzbedarf bei der Analyse beschr?nkter kontextfreier Sprachen.- On one-way Auxiliary pushdown automata.- Un langage algebrique non-generateur.- Cylindres de langages simples et pseudo-simples.- Familles de langages fermees par crochet et crochet ouvert.- Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.- Systemes schematiques generalises.- Formale Korrektheitsbeweise f?r While-Programme.- Towards automation of proofs by induction.- A syntactic connection between proof procedures and refutation procedures.- Struktur von Programmb?ndeln.- Bemerkungen zu den ?bergangshalbgruppen linear realisierbarer Automaten.- Decidabilite de la finitude des demi-groupes de matrices.- Codes et sous-monoides possedant des mots neutres.- A polynomial-time test for the deadlock-freedom of computer systems.- Aspects of unbounded parallelism.- Eigenschaften f?rbbarer Petri-Netze.- On the rationality of petri net languages.- An algorithm for transitive closure with linear expected time.- The LBA-problem and the transformability of the class ?2.- Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexit?t der kontextsensitiven Analyse.- ?ber Netzwerkgr?ssen h?herer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen.- Ein vollst?ndiges Problem auf der Baummaschine.- ?ber die L?nge einer Berechnung bei linearer Parameterabh?ngigkeit der Operationszeit.Springer Book Archives