Inhaltsverzeichnis
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 benutztenoperationen. - Ein vollständiges Problem auf der Baummaschine. - Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit.
