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
141
-
160
of
2,745
Search:
'formal (languages OR language) and automata theory'
,
query time: 0.25s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
141
Logic,
Language
, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Pushdown
Automata
-- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty...
”
Read Now
142
Logic,
Language
, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...A Grammatical Representation of Visibly Pushdown
Languages
-- Fully Lexicalized Pregroup Grammars...
”
Read Now
143
Structured Object-Oriented
Formal
Language
and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Published 2021
Springer International Publishing
Table of Contents:
“
... and
Formal
Verification....
”
Read Now
144
The
Language
of Mathematics : A Linguistic and Philosophical Investigation
by
Ganesalingam, Mohan
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in
Formal
Languages
.-4.1.3 Failure...
”
Read Now
145
Structured Object-Oriented
Formal
Language
and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
146
Automata
Implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... -- Implementing WS1S via finite
automata
: Performance issues -- Multi-tape
automata
for speech and
language
...
”
Read Now
147
Logic,
Language
, and Computation...
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...:
Formal
Semantics Meets Experimental Results -- Terminal Sequence Induction via Games -- Dutch Grammar...
”
Read Now
148
Programming
Languages
and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
Published 2013
Springer International Publishing
Table of Contents:
“
...Brzozowski’s and Up-To Algorithms for Must Testing -- Practical Alternating Parity Tree
Automata
...
”
Read Now
149
Constraint Solving and
Language
Processing...
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Papers -- Property Grammars: A Fully Constraint-Based
Theory
-- An Abductive Treatment...
”
Read Now
150
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
151
Language
, Data, and Knowledge : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
...
Language
data -- Knowledge graphs -- Applications in NLP -- Use cases in digital humanities, social...
”
Read Now
152
Finite
Automata
, Their Algebras and Grammars : Towards a Theory of Formal Expressions
by
Büchi, J. Richard
Published 1989
Springer New York
Table of Contents:
“
...
Automata
-- 7 General Alphabets: The
Theory
of Push-down
Automata
and Context-free
Languages
-- Conclusion...
”
Read Now
153
Formal
Object-Oriented Development
by
Lano, Kevin
Published 1995
Springer London
Table of Contents:
“
... -- 8.1 Translation into Procedural
Languages
-- 8.2 Introducing Concurrency in Implementations -- 8.3...
”
Read Now
154
Logic,
Language
, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
...Logic and Agent Programming
Languages
-- Natural Models of Homotopy Type
Theory
(Abstract...
”
Read Now
155
Programming
Languages
and Systems...
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
156
Programming
Languages
and Systems...
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... and Update
Languages
-- Semantics -- A
Theory
of Hygienic Macros -- A Hybrid Denotational Semantics...
”
Read Now
157
Programming
Languages
and Systems...
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
...A Query
Language
Based on the Ambient Logic -- Probabilistic Polynomial-Time Process Calculus...
”
Read Now
158
Programming
Languages
and Systems...
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...
Languages
-- Flow-Directed Closure Conversion for Typed
Languages
-- Directional Type Checking for Logic...
”
Read Now
159
Programming
Languages
and Systems...
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...-by-Value Setting -- Existential Types for Imperative
Languages
-- Another Type System for In-Place Update...
”
Read Now
160
Controlled Natural
Language
: 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
...Simplified
language
-- Plain
language
--
Formalized
language
-- Processable
language
-- Fragments...
”
3
4
5
6
7
8
9
10
11
12
13
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=8&lookfor=formal+%28languages+OR+language%29+and+automata+theory&type=AllFields
Send by Email
×
Loading...