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
41
-
60
of
544
Search:
'formal languages and ((automata OR automated) or automatic) theory'
,
query time: 0.41s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... structure in FP2, a functional parallel programming
language
-- The parallel L-machine for symbolic...
”
Read Now
42
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... for scientific computation with exact evaluation of expressions -- Algorithmic methods in
automatic
programming...
”
Read Now
43
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
44
Automated
Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Runtimes for Constant Probability Programs --
Automatic
Generation of Logical Models with AGES --
Automata
...
”
Read Now
45
Automated
Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Method in Algebra: A Survey (Abstract) --
Automated
Theorem Proving in Generation, Verification...
”
Read Now
46
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
47
Automated
Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...Towards an Electronic Geometry Textbook -- Equidecomposable Quadratic Regions --
Automatic
...
”
Read Now
48
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
49
Logic for Programming and
Automated
Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Nonmononic reasoning -- On the Complexity of
Theory
Curbing -- Descriptive complexity -- Graph...
”
Read Now
50
Automated
Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... and Heuristics for Determinization of Büchi
Automata
-- Approximate
Automata
for Omega-regular
Languages
-- DEQ...
”
Read Now
51
Automated
Practical Reasoning : Algebraic Approaches
Published 1995
Springer Vienna
Table of Contents:
“
... in neural networks
theory
-- References -- On a general notion of a hull -- 1 Introduction -- 2 Basic...
”
Read Now
52
Automated
Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Serial Manipulators -- MMP/Geometer – A Software Package for
Automated
Geometric Reasoning...
”
Read Now
53
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
54
Developments in
Language
Theory
: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... for Weakly Acyclic
Automata
-- Lyndon words
formalized
in Isabelle/HOL -- The Range of State Complexities...
”
Read Now
55
Automated
Theorem Proving in Software Engineering
by
Schumann, Johann M.
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
...1. Introduction -- 2.
Formal
Methods in Software Engineering -- 3. Processing of Logic -- 4...
”
Read Now
56
Robust Adaptation to Non-Native Accents in
Automatic
Speech Recognition
by
Goronzy, Silke
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and
Automata
Theory
...
”
Read Now
57
Formal
Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
...The Abstract Behavioral Specification
Language
: A Tutorial Introduction -- Subobject-Oriented...
”
Read Now
58
Theory
Reasoning in Connection Calculi
by
Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
...1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4.
Theory
Reasoning...
”
Read Now
59
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
60
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
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?page=3&lookfor=formal+languages+and+%28%28automata+OR+automated%29+or+automatic%29+theory&type=AllFields
Send by Email
×
Loading...