default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st Automatentheorie und Formale Sprachen 1973: Bonn, Germany
- Karl-Heinz Böhling, Klaus Indermark:
1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI). Lecture Notes in Computer Science 2, Springer 1973, ISBN 3-540-06527-X
Hauptvorträge
- Erwin Engeler:
On the structure of algorithmic problems. 2-15 - Zdzislaw Pawlak:
A mathematical model of digital computers. 16-22 - Arto Salomaa:
On some recent problems concerning developmental languages. 23-34
Automatentheorie
- Mario Dal Cin:
Fault-tolerance and stability of fuzzy-state automata. 36-44 - Lutz Eichner:
Bemerkungen über Homomorphismen endlicher in lineare Automaten. 45-53 - Eckehart Hotzel:
Der Kaskadenzerlegungssatz für Halbautomaten. 54-63 - H. Hummel:
Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme. 64-73 - Thomas Ottmann:
Ketten und arithmetische Prädikate von endlichen Automaten. 74-80 - F. Rodriguez:
Une hierarchie infinie de cones d'accepteurs vérificateurs. 81-87 - Dieter Schütt:
Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten. 88-97 - Hans-Georg Stork:
Ein automatentheoretisches Modell einer Speicherhierarchie. 98-103 - Leslie G. Valiant, Mike Paterson:
Deterministic one-counter automata. 104-115 - Rüdiger Valk:
The use of metric and uniform spaces for the formalization of behavioral proximity of states. 116-122
Formale Sprachen
- Jean-Michel Autebert:
Quelques générateurs des langages algébriques. 124-131 - Joffroy Beauquier:
Une caractérisation des langages quasi-rationnels standards. 132-138 - Franz-Josef Brandenburg:
Der Einfluß von Kontext auf spezielle CF-Grammatiken. 139-148 - Armin B. Cremers, Otto Mayer, K. Weiss:
Zur Komplexität gesteuerter kontextfreier Ersetzungen. 149-155 - Manfred Kudlek:
Characterization of derivation sets of formal systems. 156-165 - Otto Mayer:
Die Darstellung indizierter Sprachen durch Ausdrücke. 166-174 - Antonio Restivo:
Codes and aperiodic languages. 175-181 - Sebastiaan H. von Solms:
The characterization of certain classes of languages in the context sensitive area by automata. 182-190 - Detlef Wotschke:
A characterization of boolean closures of families of languages. 191-200
Algorithmen- und Komplexitätstheorie
- Joachim Biskup:
Zufällige Folgen und Bi-immunität. 202-207 - Volker Claus:
Die mittlere Additionsdauer eines Paralleladdierwerks. 208-209 - Joël Coffy:
On the number of multiplications required by the product of two matrices. 210-219 - Elmar Cohors-Fresenborg:
Elementare und subelementare Funktionenklassen über binären Bäumen. 220-229 - Gerd Kaufholz:
Über die Vernetzungsstruktur von Maschinen. 230-238 - Burkhard Monien:
On the simulation of time bounded machines. 239-248 - Wolfgang J. Paul:
Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen. 249-253 - Volker Penner:
Über eine Hierarchie von Push-Down-entscheidbaren Mengen. 254-262 - G. Rose, Klaus Weihrauch:
A characterization of the classes L1 and R1 of primitive recursive wordfunctions. 263-266 - C. K. Wong, C. L. Liu, J. Apter:
A drum scheduling algorithm. 267-275
Theorie der Programmierung
- Eberhard Bertsch:
Some considerations about classes of mappings between contextfree derivation systems. 278-283 - Klaus Indermark:
On lanov schemas with one memory location. 284-293 - Jan Maluszynski:
Reduction goals in bottom-up recognition. 294-300 - Bernard J. Robinet:
Un modèle sémantique pour un langage simple de programmation. 301-310 - Rutger Verbeek:
Erweiterungen subrekursiver Programmiersprachen. 311-318
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
