1. Fachtagung über Automatentheorie und Formale Sprachen : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973
Computer programming Computers Mathematical logic Programming Techniques Computation by Abstract Devices Mathematical Logic and Formal Languages
Imprint: Springer
1973
1st ed. 1973.
EISBN 354037826X
On the structure of algorithmic problems.
A mathematical model of digital computers.
On some recent problems concerning developmental languages.
Fault-tolerance and stability of fuzzy-state automata.
Bemerkungen über Homomorphismen endlicher in lineare Automaten.
Der Kaskadenzerlegungssatz für Halbautomaten.
Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme.
Ketten und arithmetische Prädikate von endlichen Automaten.
Une hierarchie infinie de cones d'Accepteurs verificateurs.
Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten.
Ein automatentheoretisches Modell einer Speicherhierarchie.
Deterministic one-counter automata.
The use of metric and uniform spaces for the formalization of behavioral proximity of states.
Quelques generateurs des langages algebriques.
Une caracterisation des langages quasi-rationnels standards.
Der Einfluss von Kontext auf spezielle CF-Grammatiken.
Zur Komplexität gesteuerter kontextfreier Ersetzungen.
Characterization of derivation sets of formal systems.
Die Darstellung indizierter Sprachen durch Ausdrücke.
Codes and aperiodic languages.
The characterization of certain classes of languages in the context sensitive area by automata.
A characterization of boolean closures of families of languages.
Zufällige Folgen und Bi-Immunität.
Die mittler Additionsdauer eines Paralleladdierwerks.
On the number of multiplications required by the product of two matrices.
Elementare und subelementare Funktionenklassen über binären Bäumen.
Über die Vernetzungsstruktur von Maschinen.
On the simulation of time bounded machines.
Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen.
Über eine Hierarchie von Push-Down-Entscheidbaren Mengen.
A characterization of the classes L1 and R1 of primitive recursive word functions.
A drum scheduling algorithm.
Some considerations about classes of mappings between context-free derivation systems.
On ianov schemas with one memory location.
Reduction goals in bottom-up recognition.
Un modele semantique pour un langage simple de programmation.
Erweiterungen subrekursiver Programmiersprachen.
A mathematical model of digital computers.
On some recent problems concerning developmental languages.
Fault-tolerance and stability of fuzzy-state automata.
Bemerkungen über Homomorphismen endlicher in lineare Automaten.
Der Kaskadenzerlegungssatz für Halbautomaten.
Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme.
Ketten und arithmetische Prädikate von endlichen Automaten.
Une hierarchie infinie de cones d'Accepteurs verificateurs.
Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten.
Ein automatentheoretisches Modell einer Speicherhierarchie.
Deterministic one-counter automata.
The use of metric and uniform spaces for the formalization of behavioral proximity of states.
Quelques generateurs des langages algebriques.
Une caracterisation des langages quasi-rationnels standards.
Der Einfluss von Kontext auf spezielle CF-Grammatiken.
Zur Komplexität gesteuerter kontextfreier Ersetzungen.
Characterization of derivation sets of formal systems.
Die Darstellung indizierter Sprachen durch Ausdrücke.
Codes and aperiodic languages.
The characterization of certain classes of languages in the context sensitive area by automata.
A characterization of boolean closures of families of languages.
Zufällige Folgen und Bi-Immunität.
Die mittler Additionsdauer eines Paralleladdierwerks.
On the number of multiplications required by the product of two matrices.
Elementare und subelementare Funktionenklassen über binären Bäumen.
Über die Vernetzungsstruktur von Maschinen.
On the simulation of time bounded machines.
Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen.
Über eine Hierarchie von Push-Down-Entscheidbaren Mengen.
A characterization of the classes L1 and R1 of primitive recursive word functions.
A drum scheduling algorithm.
Some considerations about classes of mappings between context-free derivation systems.
On ianov schemas with one memory location.
Reduction goals in bottom-up recognition.
Un modele semantique pour un langage simple de programmation.
Erweiterungen subrekursiver Programmiersprachen.
