Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal (languages OR language) and 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
:
automatic theory »
automatic theorem
,
automation theory
,
automata theory
Showing
1
-
20
of
681
Search:
'formal (languages OR language) and automatic theory'
,
query time: 0.31s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
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
2
Developments in
Language
Theory
: 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
...Finite Automata and Regular
Languages
On
Automatic
Transitive Graphs.- Upper Bounds on Syntactic...
”
Read Now
3
Developments in
Language
Theory
: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Characterization of Khabbaz Geometric Hierarchy of
Languages
-- On the Maximum Coefficients of Rational
Formal
...
”
Read Now
4
Developments in
Language
Theory
: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
...Invited Talks -- Morphic sequences versus
automatic
sequences -- Parsimonious Computational...
”
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
Learning
Language
in Logic
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Introductions & Overviews -- An Introduction to Inductive Logic Programming and Learning
Language
...
”
Read Now
7
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
8
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
9
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
10
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
11
Language
and Automata
Theory
and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Published 2015
Springer International Publishing
Subjects:
“
...
Formal
Languages
and Automata
Theory
...
”
Read Now
12
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:
“
...Revealing vs. Concealing: More Simulation Games for Büchi Inclusion.- On Bounded
Languages
...
”
Read Now
13
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
14
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:
“
... using the Viterbi semiring --
Formal
languages
over GF(2) -- Timed Comparisons of Semi-Markov Processes...
”
Read Now
15
Programming
Languages
: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
...
Language
Support for Generic Programming in Object-Oriented
Languages
: Peculiarities, Drawbacks...
”
Read Now
16
Structured Object-Oriented
Formal
Language
and Method...
Published 2015
Springer International Publishing
Table of Contents:
“
... Model Checking -- Applying GA with Tabu list for
Automatically
Generating Test Cases Based on
Formal
...
”
Read Now
17
Structured Object-Oriented
Formal
Language
and Method...
Published 2014
Springer International Publishing
Table of Contents:
“
... in Practice --
Theory
of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...
”
Read Now
18
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...
”
Read Now
19
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
20
Natural
Language
Generation : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... of a Structural N-gram
Language
Model in Generation-Heavy Hybrid Machine Translation -- On Referring...
”
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
226
006 - Special computer methods
193
004 - Data processing & computer science
165
003 - Systems
16
621 - Applied physics
14
025 - Library operations
13
more ...
511 - General principles of mathematics
13
670 - Manufacturing
8
410 - Linguistics
6
518 - Numerical analysis
5
629 - Other branches of engineering
4
300 - Social sciences
3
370 - Education
3
400 - Language
3
512 - Algebra
3
620 - Engineering & allied operations
3
000 - Computer science, information & general works
2
001 - Knowledge
2
140 - Specific philosophical schools
2
330 - Economics
2
371 - Schools & their activities; special education
2
401 - Philosophy & theory
2
500 - Natural sciences & mathematics
2
516 - Geometry
2
519 - Probabilities & applied mathematics
2
600 - Technology
2
700 - The arts; fine & decorative arts
2
720 - Architecture
2
050 - General serial publications
1
100 - Philosophy & psychology
1
111 - Ontology
1
338 - Production
1
361 - Social problems & social welfare in general
1
380 - Commerce, communications & transportation
1
418 - Standard usage & applied linguistics
1
510 - Mathematics
1
542 - Techniques, equipment & materials
1
610 - Medicine & health
1
612 - Human physiology
1
658 - General management
1
808 - Rhetoric & collections of literature
1
900 - History & geography
1
see all ...
less ...
Language
English
677
German
4
Collection
Springer eBooks 2005-
378
Springer Book Archives -2004
297
Directory of Open Access Books
3
Cambridge Books Online
1
MIT Press eBook Archive
1
O'Reilly
1
Author
Margaria, Tiziana
10
Voronkov, Andrei
8
Gelbukh, Alexander
7
Steffen, Bernhard
7
Martín-Vide, Carlos
6
Pichler, Franz
5
more ...
Artemov, Sergei
4
Bowen, Jonathan P.
4
Dediu, Adrian-Horia
4
Métais, Elisabeth
4
Nerode, Anil
4
Ras, Zbigniew W.
4
Truthe, Bianca
4
Baumgartner, Peter
3
Branco, António
3
Broy, Manfred
3
Butler, Michael
3
Cavalcanti, Ana
3
Comon, Hubert
3
Gnesi, Stefania
3
Graf, Susanne
3
Hong, Jia-Fei
3
Hähnle, Reiner
3
Kapur, Deepak
3
Kerber, Manfred
3
Konev, Boris
3
Kordon, Fabrice
3
Legay, Axel
3
Liu, Shaoying
3
Liu, Zhiming
3
Mamede, Nuno J.
3
Meyer, Bertrand
3
Moreira, Nelma
3
Moreno-Diaz, Roberto
3
Munoz, Rafael
3
Narukawa, Yasuo
3
Nguyen, Ngoc Thanh
3
Perner, Petra
3
Sekerinski, Emil
3
Tari, Zahir
3
Thalheim, Bernhard
3
Alur, Rajeev
2
Andreasen, Troels
2
Araki, Keijiro
2
Banerjee, Utpal
2
Baptista, Jorge
2
Basin, David
2
Beckert, Bernhard
2
Beyer, Dirk
2
Bjørner, Dines
2
Blackburn, Patrick
2
Blazy, Sandrine
2
Bonsangue, Marcello M.
2
Boulicaut, Jean-Francois
2
Brinksma, Ed
2
Brézillon, Patrick
2
Butler, Alastair
2
Bücker, H. Martin
2
Camacho, Rui
2
Cerone, Antonio
2
Corbett, Dan
2
Cori, Robert
2
Davies, Jim
2
Degano, Pierpaolo
2
Dershowitz, Nachum
2
Dongarra, Jack
2
Dowek, Gilles
2
Duan, Zhenhua
2
Eklund, Peter
2
Engels, Gregor
2
Ershov, A.
2
Etalle, Sandro
2
Frid, Anna
2
Fuchs, Norbert E.
2
Fuhr, Norbert
2
Furbach, Ulrich
2
Gelernter, David
2
Giunchiglia, Fausto
2
Hanus, Michael
2
Harth, Andreas
2
Hedin, Görel
2
Hovland, Paul
2
Jouannaud, Jean-Pierre
2
Kedad, Zoubida
2
King, Steve
2
Kirrane, Sabrina
2
Kobayashi, Naoki
2
Kohlhase, Michael
2
Kop, Christian
2
Kroening, Daniel
2
Kropf, Thomas
2
Kuchen, Herbert
2
Lang, Jérôme
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
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=formal+%28languages+OR+language%29+and+automatic+theory&type=AllFields
Send by Email
×
Loading...