Table of Contents

• On polynomial time isomorphisms of complete setsLeonard Berman, Juris Hartmanis. 1-16
• New bounds on formula sizeMike Paterson. 17-26
• Informationque et algébre la theorie des codes a longueur variableJean-François Perrot. 27-44
• On a description of tree-languages by languagesBruno Courcelle. 45-50
• Higher type program schemes and their tree languagesWerner Damm. 51-72
• Das Äquivalenzproblem für spezielle klassen von Loop-1-programmenHagen Huwig, Volker Claus. 73-82
• A comparative study of one-counter Ianov schemesTadashi Ae, Toru Kikuno, Norio Tamura. 83-95
• Grobstrukturen für kontextfreie GrammatikenErnst-Wolfgang Dieterich. 96-105
• Strukturelle Untersuchungen zur schwersten kontextfreien SpracheKlaus Estenfeld. 106-122
• Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier SprachenHelmut Alt. 123-131
• On one-way auxiliary pushdown automataFranz-Josef Brandenburg. 132-144
• Un langage algébrique non-générateurLuc Boasson. 145-148
• Gylindres de languages simples et pseudo-simplesJean-Michel Autebert. 149-153
• Familles de languages fermées par crochet et crochet ouvertF. Rodriguez. 154-168
• Eine klasse geordneter Monoide und ihre Anwendbarkeit in der FixpunktsemantikV. Lohberger. 169-183
• systèmes schématiques généralisesLaurent Kott. 184-189
• Formale Korrecktheitsbeweise für While-ProgrammeJacques Loeckx. 190-207
• Towards automation of proofs by inductionFriedrich W. von Henke. 208-214
• A syntactic connection between proof procedures and refutation prceduresWolfgang Bibel. 215-225
• Struktur von ProgrammbündelnBritta Schinzel. 226-233
• Bemerkungen zu den Übergangshalbgruppen linear realisierbarer AutomatenLutz Eichner. 234-258
• Decidabilite de la finitude des demi-groupes de matricesGérard Jacob. 259-269
• Codes et sous-monoides possedant des mots neutresDominique Perri, Marcel Paul Schützenberger. 270-281
• A polynomial-time test for the deadlock-freedom of computer systemsTiko Kameda. 282-291
• Aspects of unbounded parallelismG. Gati. 292-305
• Eigenschaften färbbarer Petri-NetzeRainer Prinoth. 306-318
• On the rationality of Petri net languagesRüdiger Valk, Germán Vidal. 319-328
• An algorithm for stransitive closure with linear expected timeClaus-Peter Schnorr. 329-338
• The LBA-problem and the transormability of the class epsilon:::2:::Burkhard Monien. 339-350
• Das Normalisierungsproblem und er Zusammenhang mit der Zeitkomplexität der Kontextsensitiven AnalyseN. Stadel. 351-367
• Über Netzwerkgrößen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten OperationenC. Reynvaan, Claus-Peter Schnorr. 368-390
• Ein vollständiges Problem auf der BaummaschineH. Bremer. 391-406
• Über die Länge einer Berechnung bei linearer Parameter-abhängigkeit der OperationszeitR. Schauerte. 407-413