Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and (automata OR automatic) 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
Search alternatives
:
languages »
language
automata »
automated
Showing
101
-
120
of
2,959
Search:
'formal languages and (automata OR automatic) theory'
,
query time: 0.33s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Developments in
Language
Theory
: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Developments -- Reversible Cellular
Automata
-- Inexpressibility Results for Regular
Languages
in Nonregular...
”
Read Now
102
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
... -- Derived preconditions and their use in program synthesis --
Automatic
construction of special purpose...
”
Read Now
103
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... bibliographical guide --
Formal
languages
& word-rewriting -- Rewriting and tree
automata
-- On efficient...
”
Read Now
104
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... church-rosser Thue systems -- Two applications of equational
theories
to database
theory
-- An experiment...
”
Read Now
105
Algorithmic Learning
Theory
: 7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- Efficient learning of real time two-counter
automata
-- Cost-sensitive feature reduction applied to a hybrid...
”
Read Now
106
Algorithmic Learning
Theory
: 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... as a game -- Inferability of recursive real-valued functions -- Learning of R.E.
Languages
from good...
”
Read Now
107
Implementation and Applications of
Automata
: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... and Computational Complexity --
Language
Decompositions, Primality, and Trajectory-Based Operations --
Automata
...
”
Read Now
108
Formal
Ontology and Conceptual Realism
by
Cocchiarella, Nino B.
Published 2007
Springer Netherlands
Table of Contents:
“
... Necessity and Logical Atomism --
Formal
Theories
of Predication --
Formal
Theories
of Predication Part II...
”
Read Now
109
Rigorous State-Based Methods : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... with the
Theory
Plugin -- Validation of
Formal
Models by Interactive Simulation -- Thread-Local, Step-Local Proof...
”
Read Now
110
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
111
Context-Free Grammars : Covers, Normal Forms, and Parsing
by
Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
112
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
...
Formal
description of programming concepts -- Electronic category
theory
-- An essay about research...
”
Read Now
113
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... levels -- Confluence of conditional rewrite systems -- Solving goals in equational
languages
...
”
Read Now
114
Automatentheorie und Logik
by
Hofmann, Martin
,
Lange, Martin
Published 2011
Springer Berlin Heidelberg
Table of Contents:
“
...Teil I Endliche Wörter -- 1 Grundlagen der
Theorie
formaler
Sprachen -- 2 Schwache, monadische...
”
Read Now
115
Type Systems for Distributed Programs: Components and Sessions
by
Dardha, Ornela
Published 2016
Atlantis Press
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
116
Confluent String Rewriting
by
Jantzen, Matthias
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... Problems -- 2.1 Undecidability Results -- 2.2 Decidability Results -- 3. Congruential
Languages
Specified...
”
Read Now
117
6th Refinement Workshop : Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
Published 1994
Springer London
Table of Contents:
“
... --
Formal
Development of Authentication Protocols -- Deriving
Language
Recognition Algorithms. A Case Study...
”
Read Now
118
Developments in
Language
Theory
: 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Synchronizing Word in One-Cluster
Automata
-- Regular
Languages
Definable by Majority Quantifiers with Two...
”
Read Now
119
Developments in
Language
Theory
: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Presentations --
Automata
: From Uncertainty to Quantum -- Elementary
Theory
of Ordinals...
”
Read Now
120
Descriptional Complexity of
Formal
Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
1,012
004 - Data processing & computer science
799
006 - Special computer methods
744
511 - General principles of mathematics
102
518 - Numerical analysis
60
003 - Systems
50
more ...
025 - Library operations
37
160 - Logic
26
621 - Applied physics
23
512 - Algebra
18
670 - Manufacturing
14
510 - Mathematics
12
629 - Other branches of engineering
12
410 - Linguistics
10
570 - Life sciences; biology
9
519 - Probabilities & applied mathematics
7
620 - Engineering & allied operations
7
300 - Social sciences
6
500 - Natural sciences & mathematics
6
000 - Computer science, information & general works
5
371 - Schools & their activities; special education
5
400 - Language
5
530 - Physics
5
001 - Knowledge
4
370 - Education
4
401 - Philosophy & theory
4
120 - Epistemology, causation & humankind
3
330 - Economics
3
515 - Analysis
3
600 - Technology
3
111 - Ontology
2
140 - Specific philosophical schools
2
380 - Commerce, communications & transportation
2
501 - Philosophy & theory
2
514 - Topology
2
516 - Geometry
2
610 - Medicine & health
2
658 - General management
2
700 - The arts; fine & decorative arts
2
720 - Architecture
2
050 - General serial publications
1
100 - Philosophy & psychology
1
170 - Ethics
1
180 - Ancient, medieval & eastern philosophy
1
301 - Sociology & anthropology
1
303 - Social processes
1
338 - Production
1
361 - Social problems & social welfare in general
1
407 - Education, research & related topics
1
418 - Standard usage & applied linguistics
1
541 - Physical chemistry
1
542 - Techniques, equipment & materials
1
576 - Genetics & evolution
1
612 - Human physiology
1
650 - Management & auxiliary services
1
745 - Decorative arts
1
781 - General principles & musical forms
1
808 - Rhetoric & collections of literature
1
900 - History & geography
1
see all ...
less ...
Language
English
2,919
German
36
Italian
3
Undetermined
1
Collection
Springer eBooks 2005-
1,866
Springer Book Archives -2004
1,056
O'Reilly
14
Cambridge Books Online
8
Elsevier eBook collection Mathematics
5
Directory of Open Access Books
4
more ...
MIT Press eBook Archive
4
Edward Elgar eBook Archive
1
Springer Lecture Notes Archiv 1964-1996
1
see all ...
less ...
Author
Rozenberg, Grzegorz
31
Voronkov, Andrei
24
Margaria, Tiziana
18
Paun, Gheorghe
17
Peters, James F.
16
Salomaa, Arto
16
more ...
Nerode, Anil
15
Steffen, Bernhard
15
Ehrig, Hartmut
14
Gelbukh, Alexander
13
Martín-Vide, Carlos
13
Karhumäki, Juhani
11
Potapov, Igor
11
de Queiroz, Ruy
11
Bowen, Jonathan P.
10
Gabbay, Dov M.
10
Liu, Shaoying
10
Rudolph, Sebastian
10
Liu, Zhiming
9
Narukawa, Yasuo
9
Richter, Michael M.
9
Skowron, Andrzej
9
Bouchon-Meunier, Bernadette
8
Börger, Egon
8
Gottlob, Georg
8
Nipkow, Tobias
8
Ölveczky, Peter Csaba
8
Broy, Manfred
7
Calude, Cristian S.
7
Engels, Gregor
7
Graf, Susanne
7
Ibarra, Oscar H.
7
Jouannaud, Jean-Pierre
7
Kreowski, Hans-Jörg
7
Legay, Axel
7
Li, Wei
7
Manea, Florin
7
Montanari, Ugo
7
Ong, Luke
7
Orlowska, Ewa
7
Palamidessi, Catuscia
7
Perner, Petra
7
Satoh, Ken
7
Wang, Dongming
7
Wirsing, Martin
7
Artemov, Sergei
6
Bernardo, Marco
6
Butler, Michael
6
Croitoru, Madalina
6
Dediu, Adrian-Horia
6
Dershowitz, Nachum
6
Duan, Zhenhua
6
Ebbinghaus, Heinz-Dieter
6
Eiter, Thomas
6
Gnesi, Stefania
6
Greco, Salvatore
6
Hähnle, Reiner
6
Kelemen, Jozef
6
Kleine Büning, Hans
6
Kuznetsov, Sergei O.
6
Mauri, Giancarlo
6
Méry, Dominique
6
Möller, Bernhard
6
Nielsen, Mogens
6
Pighizzini, Giovanni
6
Pogodalla, Sylvain
6
Rossi, Francesca
6
Schewe, Klaus-Dieter
6
Schlechta, Karl
6
Thalheim, Bernhard
6
Truthe, Bianca
6
Zeugmann, Thomas
6
Beckert, Bernhard
5
Bekki, Daisuke
5
Benzmüller, Christoph
5
Bonsangue, Marcello M.
5
Cavalcanti, Ana
5
Diekert, Volker
5
Dowek, Gilles
5
Faber, Wolfgang
5
Fernau, Henning
5
Fisher, Michael
5
Ganter, Bernhard
5
Garoufallou, Emmanouel
5
Goertzel, Ben
5
Grzymala-Busse, Jerzy W.
5
Hameurlain, Abdelkader
5
Hanus, Michael
5
Jäger, Gerhard
5
Kirchner, Claude
5
Kirchner, Helene
5
Kutrib, Martin
5
Larsen, Kim G.
5
Libkin, Leonid
5
Mayr, Heinrich C.
5
Medina, Jesús
5
Meduna, Alexander
5
Meinke, Karl
5
Meseguer, José
5
Meyer, Bertrand
5
see all ...
less ...
Recently Uploaded
Last Month
32
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=6&lookfor=formal+languages+and+%28automata+OR+automatic%29+theory&type=AllFields
Send by Email
×
Loading...