![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
3. Theoretical Computer Science 1977: Darmstadt, Germany
- Hans Tzschach, H. Waldschmidt, Hermann K.-G. Walter:
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
Hauptvorträge
- Leonard Berman, Juris Hartmanis:
On polynomial time isomorphisms of complete sets. 1-16 - Mike Paterson:
New bounds on formula size. 17-26 - Jean-François Perrot:
Informationque et algébre la theorie des codes a longueur variable. 27-44
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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.