Theoretical Computer Science: 3rd Gl Conference Darmstadt, March 28–30, 1977 [1 ed.] 3540081380, 9783540081388 [DJVU]

Table of contents :
On polynomial time isomorphisms of complete sets....Pages 1-16
New bounds on formula size....Pages 17-26
Informatique et algebre la theorie des codes a longueur variable....Pages 27-44
On a description of tree-languages by languages....Pages 45-50
Higher type program schemes and their tree languages....Pages 51-72
Das Äquivalenzproblem für spezielle Klassen von Loop-1-Programmen....Pages 73-82
A comparative study of one-counter Ianov schemes....Pages 83-95
Grobstrukturen für kontextfreie Grammatiken....Pages 96-105
Strukturelle Untersuchungen zur schwersten kontextfreien Sprache....Pages 106-122
Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen....Pages 123-131
On one-way Auxiliary pushdown automata....Pages 132-144
Un langage algebrique non-generateur....Pages 145-148
Cylindres de langages simples et pseudo-simples....Pages 149-153
Familles de langages fermees par crochet et crochet ouvert....Pages 154-168
Eine Klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik....Pages 169-183
Systemes schematiques generalises....Pages 184-189
Formale Korrektheitsbeweise für While-Programme....Pages 190-207
Towards automation of proofs by induction....Pages 208-214
A syntactic connection between proof procedures and refutation procedures....Pages 215-225
Struktur von Programmbündeln....Pages 226-233
Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten....Pages 234-258
Decidabilite de la finitude des demi-groupes de matrices....Pages 259-269
Codes et sous-monoides possedant des mots neutres....Pages 270-281
A polynomial-time test for the deadlock-freedom of computer systems....Pages 282-291
Aspects of unbounded parallelism....Pages 292-305
Eigenschaften färbbarer Petri-Netze....Pages 306-318
On the rationality of petri net languages....Pages 319-328
An algorithm for transitive closure with linear expected time....Pages 329-338
The LBA-problem and the transformability of the class ɛ 2 ....Pages 339-350
Das Normalisierungsproblem und der Zusammenhang mit der Zeitkomplexität der kontextsensitiven Analyse....Pages 351-367
Über Netzwerkgrössen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten operationen....Pages 368-390
Ein vollständiges Problem auf der Baummaschine....Pages 391-406
Über die Länge einer Berechnung bei linearer Parameterabhängigkeit der Operationszeit....Pages 407-413