2. Automata Theory and Formal Languages 1975: Kaiserslautern, Germany

Dienstagvormittag

• Ronald V. Book:
  Hauptvortrag: Formal language theory and theoretical computer science. 1-15
  
• Luc Boasson, Maurice Nivat:
  Le cylindre des langages linéaires n'est pas principal. 16-19
  
• Jean-François Perrot, Jacques Sakarovitch:
  Langages algébriques déterministes et groupes abeliens. 20-30
  

Dienstagnachmittag

• Kurt Mehlhorn:
  Best possible bounds for the weighted path length of optimum binary search trees. 31-41
  
• Jürgen Avenhaus, Klaus Madlener:
  E_n\E_n-1-entscheidbare Gruppen. 42-51
  
• P. H. Fuchs:
  Statistical characterization of learnable sequences. 52-56
  
• Herbert Kopp:
  Über den mittleren Zeitbedarf bei der LR(k)-Analyse kontextfreier Sprachen. 57-63
  
• Rüdiger Valk:
  Zur endlichen Approximierbarkeit sequentieller Systeme. 64-70
  

Mittwochvormittag

• Michael J. Fischer:
  Hauptvortrag: The complexity of negation-limited networks - A brief survey. 71-82
  
• Claus-Peter Schnorr:
  The network-complexity of equivalence and other applications of the network complexity. 83-92
  
• Max Fontet:
  Test d'isomorphie d'hypergraphes planaires. 93-98
  
• Hanke Bremer:
  Obere und untere Schranke für die Komplexität von Booleschen Funktionen. 99-102
  
• Aldo de Luca:
  On the entropy of a formal language. 103-109
  

Mittwochnachmittag

• David P. Dobkin, Richard J. Lipton:
  On the complexity of computations under varying sets of primitives. 110-117
  
• Burkhard Monien:
  About the deterministic simulation of nondeterministic (log n)-tape bounded Turing machines. 118-126
  
• H. Beck:
  Zur Entscheidbarkeit der funktionalen Äquivalenz. 127-133
  

Donnerstagvormittag

• George E. Collins:
  Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. 134-183
  
• Karl Weiß:
  Deterministische indizierte Grammatiken. 184-189
  
• Manfred Opp:
  Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme. 190-197
  
• Sorin Ciobotaru, Gheorghe Paun:
  On the generative capacity of the strict global grammars. 198-201
  
• Peter Paul Schreiber:
  Tree-transducers and syntax-connected transductions. 202-208
  
• Marcel Paul Schützenberger:
  Sur les relations rationnelles. 209-213
  

Donnerstagnachmittag

• Imre Simon:
  Piecewise testable events. 214-222
  
• Rainer Kemp:
  Die Größe des zustandsminimalen LR(0)-Analysators. 223-232
  
• Hans-Peter Kriegel, Hermann A. Maurer:
  Formal translations and the containment problem for Szilard languages. 233-238
  
• Antonio Restivo:
  A characterization of bounded regular sets. 239-244
  
• Elfriede Fehr:
  Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter. 245-251
  
• Herbert Klaeren:
  Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften. 252-258
  

Freitagvormittag

• Hans Langmaack:
  Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? 259-273
  
• Wolfgang Bibel:
  Prädikatives Programmieren. 274-283
  
• Eberhard Bertsch:
  Analyzing families of grammars. 284-288
  
• Klaus Indermark:
  Control structures and monadic languages. 289-292
  

Last update Mon Feb 13 04:19:39 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page