Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
24
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
743
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975
other
Editor(s):
H. Brakhage
Publication date
(Print):
1975
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
African Languages
Author and book information
Book
ISBN (Print):
978-3-540-07407-6
ISBN (Electronic):
978-3-540-37923-2
Publication date (Print):
1975
DOI:
10.1007/3-540-07407-4
SO-VID:
3fac88da-0b48-49d5-983c-4fb78180c14f
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Formal language theory and theoretical computer science
pp. 16
Le cylindre des langages lineaires n'est pas principal
pp. 20
Langages algebriques deterministes et groupes abeliens
pp. 31
Best possible bounds on the weighted path length of optimum binary search trees
pp. 42
En∖En−1-entscheidbare Gruppen
pp. 52
Statistical characterization of learnable sequences
pp. 57
Über den mittleren Zeitbedarf bei der LR(k) — Analyse kontextfreier Sprachen
pp. 64
Zur endlichen Approximierbarkeit sequentieller Systeme
pp. 71
The complexity of negation-limited networks — A brief survey
pp. 83
The network-complexity of equivalence and other applications of the network complexity
pp. 93
Test d'isomorphie d'hypergraphes planaires
pp. 99
Obere und untere Schranke für die Komplexität von Booleschen Funktionen
pp. 103
On the entropy of a formal language
pp. 110
On the complexity of computations under varying sets of primitives
pp. 118
About the deterministic simulation of nondeterministic (log n)-tape bounded turing machines
pp. 127
Zur Entscheidbarkeit der funktionalen Äquivalenz
pp. 184
Deterministische indizierte Grammatiken
pp. 190
Eine Beschreibung contextfreier Sprachen durch endliche Mengensysteme
pp. 198
On the generative capacity of the strict global grammars
pp. 202
Tree-transducers and syntax-connected transductions
pp. 209
Sur les relations rationnelles
pp. 223
Die Grösse des zustandsminimalen LR(O)-Analysators
pp. 233
Formal translations and the containment problem for Szilard languages
pp. 239
A characterization of bounded regular sets
pp. 245
Eine universelle Lambda-Kalkül-Programmiersprache und ihr Interpreter
pp. 252
Potenzkategorien und ihre Anwendung auf den Beweis von Programmeigenschaften
pp. 259
Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
pp. 274
Prädikatives Programmieren
pp. 284
Analyzing families of grammars
pp. 289
Control structures and monadic languages
Similar content
743
Dissertation, Universität Kaiserslautern
Authors:
Wilfried Staudt
Der Douglasien-Herkunftsversuch Kaiserslautern nach neun Jahrzehnten Beobachtung
Authors:
B. Stimm
,
P. I. Dong
,
Michael Dong
Anisotropic diffusion in image processing. Ph.D. thesis, Dept. of Mathematics, University of Kaiserslautern, Germany
Authors:
J. Weickert
See all similar
Cited by
1
Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations
Authors:
Frauke Liers
,
Juan C. Vera
,
Michael Stingl
…
See all cited by