H. Tzschach, H. Waldschmidt, Hermann K.-G. Walter (Eds.):
Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany, March 28-30, 1977, Proceedings.
Lecture Notes in Computer Science 48 Springer 1977, ISBN 3-540-08138-0 
@proceedings{DBLP:conf/tcs/1977,
editor = {H. Tzschach and
H. Waldschmidt and
Hermann K.-G. Walter},
title = {Theoretical Computer Science, 3rd GI-Conference, Darmstadt, Germany,
March 28-30, 1977, Proceedings},
booktitle = {Theoretical Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {48},
year = {1977},
isbn = {3-540-08138-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Hauptvorträge
Vorträge in der Reihenfolge des Programms
- Bruno Courcelle:
On a description of tree-languages by languages.
45-50
- Werner Damm:
Higher type program schemes and their tree languages.
51-72
- Hagen Huwig, Volker Claus:
Das Äquivalenzproblem für spezielle klassen von Loop-1-programmen.
73-82
- Tadashi Ae, Toru Kikuno, Norio Tamura:
A comparative study of one-counter Ianov schemes.
83-95
- Ernst-Wolfgang Dieterich:
Grobstrukturen für kontextfreie Grammatiken.
96-105
- Klaus Estenfeld:
Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.
106-122
- Helmut Alt:
Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen.
123-131
- Franz-Josef Brandenburg:
On one-way auxiliary pushdown automata.
132-144
- Luc Boasson:
Un langage algébrique non-générateur.
145-148
- Jean-Michel Autebert:
Gylindres de languages simples et pseudo-simples.
149-153
- F. Rodriguez:
Familles de languages fermées par crochet et crochet ouvert.
154-168
- V. Lohberger:
Eine klasse geordneter Monoide und ihre Anwendbarkeit in der Fixpunktsemantik.
169-183
- Laurent Kott:
systèmes schématiques généralises.
184-189
- Jacques Loeckx:
Formale Korrecktheitsbeweise für While-Programme.
190-207
- Friedrich W. von Henke:
Towards automation of proofs by induction.
208-214
- Wolfgang Bibel:
A syntactic connection between proof procedures and refutation prcedures.
215-225
- Britta Schinzel:
Struktur von Programmbündeln.
226-233
- Lutz Eichner:
Bemerkungen zu den Übergangshalbgruppen linear realisierbarer Automaten.
234-258
- Gérard Jacob:
Decidabilite de la finitude des demi-groupes de matrices.
259-269
- Dominique Perri, Marcel Paul Schützenberger:
Codes et sous-monoides possedant des mots neutres.
270-281
- Tiko Kameda:
A polynomial-time test for the deadlock-freedom of computer systems.
282-291
- G. Gati:
Aspects of unbounded parallelism.
292-305
- Rainer Prinoth:
Eigenschaften färbbarer Petri-Netze.
306-318
- Rüdiger Valk, G. Vidal:
On the rationality of Petri net languages.
319-328
- Claus-Peter Schnorr:
An algorithm for stransitive closure with linear expected time.
329-338
- Burkhard Monien:
The LBA-problem and the transormability of the class epsilon2.
339-350
- N. Stadel:
Das Normalisierungsproblem und er Zusammenhang mit der Zeitkomplexität der Kontextsensitiven Analyse.
351-367
- C. Reynvaan, Claus-Peter Schnorr:
Über Netzwerkgrößen höherer Ordnung und die mittlere Anzahl der in Netzwerken benutzten Operationen.
368-390
- H. Bremer:
Ein vollständiges Problem auf der Baummaschine.
391-406
- R. Schauerte:
Über die Länge einer Berechnung bei linearer Parameter-abhängigkeit der Operationszeit.
407-413
Copyright © Mon Nov 30 20:21:29 2009
by Michael Ley (ley@uni-trier.de)
