3. Theoretical Computer Science 1977: Darmstadt, Germany

@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

• 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 epsilon². 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
  

Last update Fri May 25 08:43:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page