Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal (languages OR language) 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
Search alternatives
:
automata »
automated
,
automatic
Showing
241
-
260
of
2,745
Search:
'formal (languages OR language) and automata theory'
,
query time: 0.23s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
241
Logic,
Language
, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Published 2018
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
242
Computational Learning
Theory
: Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... the optimal coding scheme -- MDL learning of unions of simple pattern
languages
from positive examples -- A...
”
Read Now
243
Algorithmic Learning
Theory
: 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...) -- The VC-Dimension of Subclasses of Pattern
Languages
-- On the V ? Dimension for Regression in Reproducing...
”
Read Now
244
Finite Model
Theory
: Second Edition
by
Ebbinghaus, Heinz-Dieter
,
Flum, Jörg
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... in the Finite -- Finite
Automata
and Logic: A Microcosm of Finite Model
Theory
-- Descriptive Complexity
Theory
...
”
Read Now
245
Notes on Set
Theory
by
Moschovakis, Yiannis
Published 2006
Springer New York
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
246
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
...
”
Read Now
247
Automata
Implementation : Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... and Condensing Substrings of LR
Languages
in Linear Time -- Minimal Cover-
Automata
for Finite
Languages
...
”
Read Now
248
mural: A
Formal
Development Support System
by
Jones, C.B.
,
Jones, K.D.
,
Lindsay, Peter
,
Moore, R.D.
Published 1991
Springer London
Table of Contents:
“
...1General introduction -- 1.1
Formal
methods -- 1.2 VDM development -- 1.3 The IPSE 2.5 project...
”
Read Now
249
Integration of World Knowledge for Natural
Language
Understanding
by
Ovchinnikova, Ekaterina
Published 2012
Atlantis Press
Table of Contents:
“
...Preliminaries -- Natural
Language
Understanding and World Knowledge -- Sources of World Knowledge...
”
Read Now
250
Monotonicity in Logic and
Language
...
Published 2020
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
251
Formal
Methods and Object Technology
Published 1996
Springer London
Table of Contents:
“
...I Introduction -- 1 The Object Paradigm -- 2
Formality
in Object Technology IT -- II
Formal
Methods...
”
Read Now
252
Computational Logic and Set
Theory
: Applying Formalized Logic to Analysis
by
Schwartz, Jacob T.
,
Cantone, Domenico
,
Omodeo, Eugenio G.
Published 2011
Springer London
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
253
Statistical
Language
and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
...
Language
and information extraction -- Post-processing and applications of automatic transcriptions...
”
Read Now
254
Statistical
Language
and Speech Processing : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
255
At the Intersection of
Language
, Logic, and Information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
Published 2019
Springer Berlin Heidelberg
Table of Contents:
“
...-dimensional Dyck
Language
-- Compositionality in Privative Adjectives: Extending Dual Content Semantics...
”
Read Now
256
Formal
Theories
of Information : From Shannon to Semantic Information Theory and General Concepts of Information
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... -- Information
Theory
, Relative Entropy and Statistics -- Information: The Algorithmic Paradigm -- The Semantical...
”
Read Now
257
Implementation and Application of
Automata
: 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... Derivatives: an Overview -- How to Settle the ReDoS Problem: Back to the Classical
Automata
Theory
-- Ordered...
”
Read Now
258
Automata
Implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...WIA and the practice of
theory
in computer science -- Algorithms for guided tree
automata
-- Time...
”
Read Now
259
Automata
Implementation : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... for
Automata
Theory
-- Analysis of Reactive Systems with n Timers -- Animation of the Generation...
”
Read Now
260
Formal
Grammar : 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... by Restarting
Automata
-- The conjoinability relation in discontinuous Lambek calculus -- The Cantor-Bendixson...
”
8
9
10
11
12
13
14
15
16
17
18
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
950
004 - Data processing & computer science
743
006 - Special computer methods
692
511 - General principles of mathematics
101
518 - Numerical analysis
58
003 - Systems
39
more ...
025 - Library operations
34
160 - Logic
26
512 - Algebra
17
621 - Applied physics
13
510 - Mathematics
11
670 - Manufacturing
11
629 - Other branches of engineering
10
410 - Linguistics
9
570 - Life sciences; biology
9
519 - Probabilities & applied mathematics
5
530 - Physics
5
620 - Engineering & allied operations
5
500 - Natural sciences & mathematics
4
000 - Computer science, information & general works
3
120 - Epistemology, causation & humankind
3
300 - Social sciences
3
370 - Education
3
371 - Schools & their activities; special education
3
400 - Language
3
401 - Philosophy & theory
3
515 - Analysis
3
001 - Knowledge
2
501 - Philosophy & theory
2
514 - Topology
2
516 - Geometry
2
600 - Technology
2
100 - Philosophy & psychology
1
111 - Ontology
1
140 - Specific philosophical schools
1
170 - Ethics
1
180 - Ancient, medieval & eastern philosophy
1
301 - Sociology & anthropology
1
303 - Social processes
1
330 - Economics
1
338 - Production
1
380 - Commerce, communications & transportation
1
407 - Education, research & related topics
1
418 - Standard usage & applied linguistics
1
541 - Physical chemistry
1
576 - Genetics & evolution
1
610 - Medicine & health
1
650 - Management & auxiliary services
1
658 - General management
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,708
German
33
Italian
3
Undetermined
1
Collection
Springer eBooks 2005-
1,755
Springer Book Archives -2004
957
O'Reilly
13
Cambridge Books Online
8
Elsevier eBook collection Mathematics
5
MIT Press eBook Archive
3
more ...
Directory of Open Access Books
2
Edward Elgar eBook Archive
1
Springer Lecture Notes Archiv 1964-1996
1
see all ...
less ...
Author
Rozenberg, Grzegorz
31
Voronkov, Andrei
23
Paun, Gheorghe
17
Peters, James F.
16
Salomaa, Arto
16
Margaria, Tiziana
15
more ...
Nerode, Anil
15
Ehrig, Hartmut
14
Martín-Vide, Carlos
13
Gelbukh, Alexander
12
Steffen, Bernhard
12
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
Narukawa, Yasuo
9
Skowron, Andrzej
9
Bouchon-Meunier, Bernadette
8
Börger, Egon
8
Gottlob, Georg
8
Liu, Zhiming
8
Nipkow, Tobias
8
Ölveczky, Peter Csaba
8
Broy, Manfred
7
Calude, Cristian S.
7
Ibarra, Oscar H.
7
Jouannaud, Jean-Pierre
7
Legay, Axel
7
Li, Wei
7
Montanari, Ugo
7
Ong, Luke
7
Orlowska, Ewa
7
Palamidessi, Catuscia
7
Perner, Petra
7
Richter, Michael M.
7
Wang, Dongming
7
Wirsing, Martin
7
Artemov, Sergei
6
Bernardo, Marco
6
Croitoru, Madalina
6
Dediu, Adrian-Horia
6
Dershowitz, Nachum
6
Duan, Zhenhua
6
Ebbinghaus, Heinz-Dieter
6
Eiter, Thomas
6
Engels, Gregor
6
Graf, Susanne
6
Greco, Salvatore
6
Kelemen, Jozef
6
Kleine Büning, Hans
6
Kreowski, Hans-Jörg
6
Kuznetsov, Sergei O.
6
Manea, Florin
6
Mauri, Giancarlo
6
Méry, Dominique
6
Möller, Bernhard
6
Nielsen, Mogens
6
Pighizzini, Giovanni
6
Pogodalla, Sylvain
6
Rossi, Francesca
6
Satoh, Ken
6
Schewe, Klaus-Dieter
6
Schlechta, Karl
6
Truthe, Bianca
6
Zeugmann, Thomas
6
Bekki, Daisuke
5
Benzmüller, Christoph
5
Butler, Michael
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
Gnesi, Stefania
5
Goertzel, Ben
5
Grzymala-Busse, Jerzy W.
5
Hameurlain, Abdelkader
5
Hanus, Michael
5
Hähnle, Reiner
5
Jäger, Gerhard
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
Moreira, Nelma
5
Métais, Elisabeth
5
Nagl, Manfred
5
Ojeda-Aciego, Manuel
5
Olderog, Ernst-Rüdiger
5
see all ...
less ...
Recently Uploaded
Last Month
28
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=13&lookfor=formal+%28languages+OR+language%29+and+automata+theory&type=AllFields
Send by Email
×
Loading...