Theoretical Computer Science

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.