Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and automata theory
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
product_txtF_mv:"Springer Book Archives -2004"
Search alternatives
:
languages »
language
automata »
automated
,
automatic
Showing
1
-
20
of
957
Search:
'formal languages and automata theory'
,
query time: 0.25s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Automata
Theory
and
Formal
Languages
: 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Published 1975
Springer Berlin Heidelberg
Table of Contents:
“
...
Formal
language
theory
and theoretical computer science -- Le cylindre des langages lineaires n'est...
”
Read Now
2
Automata
and
Languages
: Theory and Applications
by
Meduna, Alexander
Published 2000
Springer London
Table of Contents:
“
...INTRODUCTION:
Languages
.
Formalization
of
Languages
. Expressions and Grammars. Translations...
”
Read Now
3
Semirings,
Automata
,
Languages
by
Kuich, W.
,
Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
...
Automata
and Counter
Automata
-- III. Algebraic Systems -- 14. Algebraic Series and Context-Free
Languages
...
”
Read Now
4
Automata
,
Languages
and Programming : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
...An iteration theorem for simple precedence
languages
-- The power of non-rectilinear holes -- Fixed...
”
Read Now
5
Automata
,
Languages
and Programming : Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
... in relational database
theory
-- A new characterization of the regular
languages
-- Langages Reconnaissables et...
”
Read Now
6
An Introduction to
Formal
Language
Theory
by
Moll, Robert N.
,
Arbib, Michael A.
,
Kfoury, A.J.
Published 1988
Springer New York
Table of Contents:
“
... -- 8 The
Formal
Description of Natural
Languages
-- 8.1 The Aims of Linguistic
Theory
-- 8.2...
”
Read Now
7
Automata
,
Languages
and Programming : Seventh Colloquium, Noordwijkerhout, The Netherlands, July 14-18, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
...: An application of abstract model
theory
-- Pebbling mountain ranges and its application to DCFL-recognition...
”
Read Now
8
Automata
,
Languages
and Programming : 10th Colloquium Barcelona, Spain, July 18–22, 1983
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
... algorithms in equational
theories
-- Tree
automata
and attribute grammars -- Effectively given spaces --...
”
Read Now
9
Automata
,
Languages
and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... technique with geometric applications -- Hierarchies of one-way multihead
automata
languages
-- Partitioning...
”
Read Now
10
Automata
,
Languages
and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... -- Min Cut is NP-complete for edge weighted trees -- Alternating
automata
, the weak monadic
theory
...
”
Read Now
11
Automata
Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
...An introduction to
automata
network
theory
-- Arrays,
automata
and groups — Some interconnections...
”
Read Now
12
Automata
,
Languages
and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... variables -- A newapproach to
formal
language
theory
by kolmogorov complexity -- Dynamic algorithms in D.E...
”
Read Now
13
Automata
,
Languages
and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
... competitive tours from local information -- Treewidth and pathwidth of permutation graphs -- A
theory
of even...
”
Read Now
14
Automata
,
Languages
, and Programming : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... by exploiting the environment -- A model of intuitionistic affine logic from stable domain
theory
...
”
Read Now
15
Automata
on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... sur des mots infinis -- Star-free ?-
languages
and first order logic -- A
formal
proof system...
”
Read Now
16
Automata
,
Languages
, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings
Published 1984
Springer Berlin Heidelberg
Table of Contents:
“
... -- Cancellation, pumping and permutation in
formal
languages
-- A hardware implementation of the CSP primitives...
”
Read Now
17
Automata
,
Languages
and Programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... of reasonable space measures -- A
formal
study of learning via queries --
Language
learning by a “team...
”
Read Now
18
Automata
,
Languages
and Programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... -- Two P-complete problems in the
theory
of the reals -- L morphisms: Bounded delay and regularity...
”
Read Now
19
Automata
,
Languages
and Programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... -- Abelian squares are avoidable on 4 letters -- Polynomial size test sets for context-free
languages
...
”
Read Now
20
Formale
Sprachen : Eine Einführung
by
Becker, Heinrich
Published 1977
Vieweg+Teubner Verlag
Table of Contents:
“
...I. Einführung in die
Theorie
der formalen Sprachen -- I.1 Natürliche Sprachen -- I.2 Die...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
313
004 - Data processing & computer science
298
006 - Special computer methods
222
511 - General principles of mathematics
52
003 - Systems
24
518 - Numerical analysis
10
more ...
670 - Manufacturing
9
512 - Algebra
6
510 - Mathematics
5
621 - Applied physics
5
629 - Other branches of engineering
5
410 - Linguistics
4
300 - Social sciences
3
519 - Probabilities & applied mathematics
3
001 - Knowledge
2
160 - Logic
2
370 - Education
2
514 - Topology
2
515 - Analysis
2
570 - Life sciences; biology
2
620 - Engineering & allied operations
2
100 - Philosophy & psychology
1
170 - Ethics
1
180 - Ancient, medieval & eastern philosophy
1
401 - Philosophy & theory
1
418 - Standard usage & applied linguistics
1
500 - Natural sciences & mathematics
1
501 - Philosophy & theory
1
516 - Geometry
1
530 - Physics
1
808 - Rhetoric & collections of literature
1
see all ...
less ...
Language
English
931
German
26
Collection
Springer Book Archives -2004
Author
Rozenberg, Grzegorz
17
Ehrig, Hartmut
11
Paun, Gheorghe
11
Salomaa, Arto
11
Nerode, Anil
9
Voronkov, Andrei
8
more ...
Broy, Manfred
7
Börger, Egon
7
Gottlob, Georg
6
Richter, Michael M.
6
Bowen, Jonathan P.
5
Jouannaud, Jean-Pierre
5
Kelemen, Jozef
5
Kirchner, Helene
5
Kleine Büning, Hans
5
Meinke, Karl
5
Nielsen, Mogens
5
Nipkow, Tobias
5
Wirsing, Martin
5
Bruynooghe, Maurice
4
Buchberger, Bruno
4
Comon, Hubert
4
Deransart, Pierre
4
Gelbukh, Alexander
4
Jantke, Klaus P.
4
Jantzen, Matthias
4
Karhumäki, Juhani
4
Larsen, Kim G.
4
Leeuwen, Jan van
4
Levi, Giorgio
4
Moniz Pereira, Luis
4
Montanari, Ugo
4
Möller, Bernhard
4
Nagl, Manfred
4
Nivat, Maurice
4
Nori, Kesav V.
4
Pnueli, Amir
4
Siefkes, Dirk
4
Stolzmann, Wolfgang
4
Wang, Dongming
4
Wilson, Stewart W.
4
Alur, Rajeev
3
Apt, Krzysztof R.
3
Bert, Didier
3
Bibel, Wolfgang
3
Birtwistle, Graham
3
Brauer, Wilfried
3
Budach, Lothar
3
Campbell, John A.
3
Denvir, Tim
3
Diaz, Josep
3
Dybjer, Peter
3
Dyckhoff, Roy
3
Finkel, Alain
3
Fitting, Melvin
3
Flum, Jörg
3
Furbach, Ulrich
3
Ganzinger, Harald
3
Harrison, John
3
Hausser, Roland
3
Heering, Jan
3
Hermenegildo, Manuel
3
Kreowski, Hans-Jörg
3
Kropf, Thomas
3
Lanzi, Pier L.
3
Leitsch, Alexander
3
Maluszynski, Jan
3
Malyshkin, Victor
3
Margaria, Tiziana
3
Maurer, Hermann
3
Monien, Burkhard
3
Ohlbach, Hans J.
3
Olderog, Ernst-Rüdiger
3
Orlowska, Ewa
3
Palamidessi, Catuscia
3
Pearce, David
3
Pitt, David H.
3
Polkowski, Lech
3
Reusch, Bernd
3
Rodriguez-Artalejo, Mario
3
Rossi, Francesca
3
Rovan, Branislav
3
Rozenberg, G.
3
Rus, Teodor
3
Rusinowitch, Michael
3
Ruzicka, Peter
3
Rydeheard, David E.
3
Salomaa, A.
3
Schwichtenberg, Helmut
3
Thalheim, Bernhard
3
Thiagarajan, P.S.
3
Wood, Derick
3
Aarts, Emile H.L.
2
Abramsky, Samson
2
Ackermann, Wilhelm
2
Alferes, Jose Julio
2
Ali, Moonis
2
Arbib, Michael A.
2
Arikawa, Setsuo
2
Backhouse, Roland
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=formal+languages+and+automata+theory&type=AllFields
Send by Email
×
Loading...