Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and ((automata OR automated) 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
Showing
1
-
20
of
544
Search:
'formal languages and ((automata OR automated) or automatic) theory'
,
query time: 0.80s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
6th Conference on
Automated
Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
...Solving open questions with an
automated
theorem-proving program -- STP: A mechanized logic...
”
Read Now
2
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
3
A Course in
Formal
Languages
,
Automata
and Groups
by
Chiswell, Ian M.
Published 2009
Springer London
Table of Contents:
“
.... Recursively Enumerable Sets and
Languages
-- 4. Context-free
language
-- 5. Connections with Group
Theory
-- A...
”
Read Now
4
Language
and
Automata
Theory
and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... in Spatial
Language
Dynamics -- On the Average Size of Glushkov’s
Automata
-- Tiling the Plane with a Fixed...
”
Read Now
5
Language
and
Automata
Theory
and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
6
Language
and
Automata
Theory
and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Published 2014
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
7
Language
and
Automata
Theory
and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
...Algorithms --
Automata
, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics...
”
Read Now
8
Language
and
Automata
Theory
and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... -- Interval Logics and ωB-Regular
Languages
.- Eliminating Stack Symbols in Push-Down
Automata
and Linear...
”
Read Now
9
Language
and
Automata
Theory
and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Papers -- Tree-Walking
Automata
--
Formal
Language
Tools for Template-Guided DNA...
”
Read Now
10
Language
and
Automata
Theory
and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Published 2018
Springer International Publishing
Table of Contents:
“
... representation of finite
automata
-- Model Learning as a Satisfiability Modulo
Theories
Problem -- Default Logic...
”
Read Now
11
Automation
of Reasoning : 2: Classical Papers on Computational Logic 1967–1970
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
... Proving -- Automath, a
Language
for Mathematics -- 1969 -- Semi-
Automated
Mathematics -- Semantic Trees...
”
Read Now
12
10th International Conference on
Automated
Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... -- Parallelizing the closure computation in
automated
deduction -- Partheo: A high-performance parallel theorem...
”
Read Now
13
9th International Conference on
Automated
Deduction : Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... in inconsistent
formal
systems -- LP: The larch prover -- The KLAUS
automated
deduction system -- A Prolog...
”
Read Now
14
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...
”
Read Now
15
Automated
Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... description -- Protein: A PROver with a
Theory
Extension INterface -- DELTA — A bottom-up preprocessor for top...
”
Read Now
16
Automated
Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... -- The GAZER theorem prover -- ROO: A parallel theorem prover -- RVF: An
automated
formal
verification system...
”
Read Now
17
Automated
Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... magic sets to incorporate top-down inference into bottom-up theorem proving -- Alternating
automata
...
”
Read Now
18
Logic Programming and
Automated
Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
...-valued logics -- An ordered
theory
resolution calculus -- Application of
automated
deduction...
”
Read Now
19
Automatic
Ambiguity Resolution in Natural
Language
Processing : An Empirical Approach
by
Franz, Alexander
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
20
Logic and Games on
Automatic
Structures : Playing with Quantifiers and Decompositions
by
Kaiser, Lukasz
Published 2011
Springer Berlin Heidelberg
Table of Contents:
“
...1 Logics, Structures and Presentations -- 2 Game Quantifiers on
Automatic
Presentations -- 3 Games...
”
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
189
006 - Special computer methods
164
004 - Data processing & computer science
130
025 - Library operations
12
511 - General principles of mathematics
12
003 - Systems
9
more ...
621 - Applied physics
6
410 - Linguistics
5
670 - Manufacturing
5
629 - Other branches of engineering
4
512 - Algebra
3
518 - Numerical analysis
3
370 - Education
2
516 - Geometry
2
100 - Philosophy & psychology
1
140 - Specific philosophical schools
1
338 - Production
1
371 - Schools & their activities; special education
1
400 - Language
1
401 - Philosophy & theory
1
418 - Standard usage & applied linguistics
1
500 - Natural sciences & mathematics
1
519 - Probabilities & applied mathematics
1
600 - Technology
1
620 - Engineering & allied operations
1
808 - Rhetoric & collections of literature
1
900 - History & geography
1
see all ...
less ...
Language
English
543
German
1
Collection
Springer eBooks 2005-
308
Springer Book Archives -2004
233
Cambridge Books Online
1
Directory of Open Access Books
1
O'Reilly
1
Author
Margaria, Tiziana
9
Voronkov, Andrei
7
Gelbukh, Alexander
6
Martín-Vide, Carlos
6
Steffen, Bernhard
6
Artemov, Sergei
4
more ...
Bowen, Jonathan P.
4
Dediu, Adrian-Horia
4
Métais, Elisabeth
4
Nerode, Anil
4
Truthe, Bianca
4
Baumgartner, Peter
3
Branco, António
3
Broy, Manfred
3
Cavalcanti, Ana
3
Comon, Hubert
3
Gnesi, Stefania
3
Hong, Jia-Fei
3
Hähnle, Reiner
3
Kapur, Deepak
3
Kerber, Manfred
3
Konev, Boris
3
Legay, Axel
3
Liu, Shaoying
3
Liu, Zhiming
3
Mamede, Nuno J.
3
Moreira, Nelma
3
Munoz, Rafael
3
Narukawa, Yasuo
3
Perner, Petra
3
Ras, Zbigniew W.
3
Sekerinski, Emil
3
Alur, Rajeev
2
Araki, Keijiro
2
Baptista, Jorge
2
Basin, David
2
Beyer, Dirk
2
Bjørner, Dines
2
Blackburn, Patrick
2
Blazy, Sandrine
2
Brinksma, Ed
2
Brézillon, Patrick
2
Butler, Alastair
2
Butler, Michael
2
Camacho, Rui
2
Cerone, Antonio
2
Corbett, Dan
2
Cori, Robert
2
Davies, Jim
2
Dershowitz, Nachum
2
Dongarra, Jack
2
Dowek, Gilles
2
Duan, Zhenhua
2
Eklund, Peter
2
Engels, Gregor
2
Etalle, Sandro
2
Frid, Anna
2
Fuchs, Norbert E.
2
Fuhr, Norbert
2
Furbach, Ulrich
2
Giunchiglia, Fausto
2
Graf, Susanne
2
Hanus, Michael
2
Harth, Andreas
2
Hedin, Görel
2
Jouannaud, Jean-Pierre
2
Kedad, Zoubida
2
King, Steve
2
Kirrane, Sabrina
2
Kobayashi, Naoki
2
Kop, Christian
2
Kordon, Fabrice
2
Kroening, Daniel
2
Kropf, Thomas
2
Kuchen, Herbert
2
Larsen, Kim G.
2
Leake, David
2
Leino, K. Rustan M.
2
Lin, Fangzhen
2
Ling, Tok Wang
2
Maler, Oded
2
Martin-Vide, Carlos
2
Mayr, Heinrich C.
2
Merz, Stephan
2
Metais, Elisabeth
2
Meyer, Bertrand
2
Meziane, Farid
2
Méry, Dominique
2
Nguyen, Ngoc Thanh
2
Nielsen, Mogens
2
Nipkow, Tobias
2
Oliveira, José N.
2
Palamidessi, Catuscia
2
Paulheim, Heiko
2
Petrosino, Alfredo
2
Pfenning, Frank
2
Pichler, Franz
2
Pottosin, Igor V.
2
Păsăreanu, Corina S.
2
Quaresma, Paulo
2
see all ...
less ...
Recently Uploaded
Last Month
10
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=formal+languages+and+%28%28automata+OR+automated%29+or+automatic%29+theory&type=AllFields
Send by Email
×
Loading...