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

H. Barkhage (Ed.): Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975. Lecture Notes in Computer Science 33 Springer 1975, ISBN 3-540-07407-4 BibTeX

@proceedings{DBLP:conf/automata/1975,
  editor    = {H. Barkhage},
  title     = {Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern,
               May 20-23, 1975},
  booktitle = {Automata Theory and Formal Languages},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {33},
  year      = {1975},
  isbn      = {3-540-07407-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Dienstagvormittag

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

Dienstagnachmittag

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

Mittwochvormittag

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

Mittwochnachmittag

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

Donnerstagvormittag

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

Donnerstagnachmittag

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

Freitagvormittag

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