Automata Theory and Formal Languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Information theory Computer science Theory of Computation Computer Science, general
Imprint: Springer
1975
1st ed. 1975.
EISBN 3540379231
Formal language theory and theoretical computer science.
Le cylindre des langages lineaires n'est pas principal.
Langages algebriques deterministes et groupes abeliens.
Best possible bounds on the weighted path length of optimum binary search trees.
En?En?1-entscheidbare Gruppen.
Statistical characterization of learnable sequences.
Über den mittleren Zeitbedarf bei der LR(k) — Analyse kontextfreier Sprachen.
Zur endlichen Approximierbarkeit sequentieller Systeme.
The complexity of negation-limited networks — A brief survey.
The network-complexity of equivalence and other applications of the network complexity.
Test d'isomorphie d'hypergraphes planaires.
Obere und untere Schranke für die Komplexität von Booleschen Funktionen.
On the entropy of a formal language.
On the complexity of computations under varying sets of primitives.
About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines.
Zur Entscheidbarkeit der funktionalen Äquivalenz.
Quantifier elimination for real closed fields by cylindrical algebraic decompostion.
Deterministische indizierte Grammatiken.
Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme.
On the generative capacity of the strict global grammars.
Tree-transducers and syntax-connected transductions.
Sur les relations rationnelles.
Piecewise testable events.
Die Grösse des zustandsminimalen LR(O)-Analysators.
Formal translations and the containment problem for Szilard languages.
A characterization of bounded regular sets.
Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.
Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften.
Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?.
Prädikatives Programmieren.
Analyzing families of grammars.
Control structures and monadic languages.
Le cylindre des langages lineaires n'est pas principal.
Langages algebriques deterministes et groupes abeliens.
Best possible bounds on the weighted path length of optimum binary search trees.
En?En?1-entscheidbare Gruppen.
Statistical characterization of learnable sequences.
Über den mittleren Zeitbedarf bei der LR(k) — Analyse kontextfreier Sprachen.
Zur endlichen Approximierbarkeit sequentieller Systeme.
The complexity of negation-limited networks — A brief survey.
The network-complexity of equivalence and other applications of the network complexity.
Test d'isomorphie d'hypergraphes planaires.
Obere und untere Schranke für die Komplexität von Booleschen Funktionen.
On the entropy of a formal language.
On the complexity of computations under varying sets of primitives.
About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines.
Zur Entscheidbarkeit der funktionalen Äquivalenz.
Quantifier elimination for real closed fields by cylindrical algebraic decompostion.
Deterministische indizierte Grammatiken.
Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme.
On the generative capacity of the strict global grammars.
Tree-transducers and syntax-connected transductions.
Sur les relations rationnelles.
Piecewise testable events.
Die Grösse des zustandsminimalen LR(O)-Analysators.
Formal translations and the containment problem for Szilard languages.
A characterization of bounded regular sets.
Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter.
Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften.
Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?.
Prädikatives Programmieren.
Analyzing families of grammars.
Control structures and monadic languages.
