Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal (languages OR language) 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
:
automatic »
automation
Showing
1
-
20
of
189
Search:
'formal (languages OR language) and ((automata or automated) or automatic) theory'
,
query time: 0.44s
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 : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...
theory
-- The limit of splitn-
language
equivalence -- Divergence and fair testing -- Causality for mobile...
”
Read Now
3
Automata
,
Languages
and Programming : 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings
Published 1974
Springer Berlin Heidelberg
Table of Contents:
“
...
language
theory
-- Checking stacks and context-free programmed grammars accept p-complete
languages
...
”
Read Now
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
Automated
Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Proofs in Category
Theory
--
Formal
Global Optimisation with Taylor Models -- A Purely Functional Library...
”
Read Now
13
8th International Conference on
Automated
Deduction : Oxford, England, July 27- August 1, 1986. Proceedings
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
...Nested resolution -- Mechanizing constructive proofs -- Implementing number
theory
: An experiment...
”
Read Now
14
Programming
Languages
and Systems...
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...,
Automated
Proofs for Security Protocols -- Completing the Picture: Soundness of
Formal
Encryption...
”
Read Now
15
Automated
Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Description: MathWeb, an Agent-Based Communication Layer for Distributed
Automated
Theorem Proving -- System...
”
Read Now
16
Automated
Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...Session 1. Invited Talk: Colin Stirling -- Games,
Automata
and Matching -- Session 2. Higher-Order...
”
Read Now
17
Automated
Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... of
Automatic
Theorem Proving in Computer Vision --
Automated
Geometry Diagram Construction and Engineering...
”
Read Now
18
Automated
Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... Reductions to Basic Modal Logic -- Isabelle's Metalogic:
Formalization
and Proof Checker --
Theory
...
”
Read Now
19
Automated
Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with
Automatic
Code...
”
Read Now
20
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
...Constructive mathematics and type
theory
-- Homotopy type
theory
-- Logic,
automata
, and
automatic
...
”
1
2
3
4
5
6
7
8
9
10
Back
Narrow Search
Year of Publication
From:
To:
Classification
006 - Special computer methods
64
005 - Computer programming, programs & data
63
004 - Data processing & computer science
32
511 - General principles of mathematics
10
025 - Library operations
6
670 - Manufacturing
4
more ...
003 - Systems
2
516 - Geometry
2
629 - Other branches of engineering
2
100 - Philosophy & psychology
1
410 - Linguistics
1
418 - Standard usage & applied linguistics
1
621 - Applied physics
1
see all ...
less ...
Language
English
189
Collection
Springer eBooks 2005-
104
Springer Book Archives -2004
85
Author
Voronkov, Andrei
6
Artemov, Sergei
4
Nerode, Anil
4
Baumgartner, Peter
3
Konev, Boris
3
Margaria, Tiziana
3
more ...
Perner, Petra
3
Basin, David
2
Comon, Hubert
2
Dowek, Gilles
2
Furbach, Ulrich
2
Harth, Andreas
2
Kapur, Deepak
2
Kirrane, Sabrina
2
Kroening, Daniel
2
Larsen, Kim G.
2
Leake, David
2
Legay, Axel
2
Leino, K. Rustan M.
2
Maler, Oded
2
Métais, Elisabeth
2
Nipkow, Tobias
2
Paulheim, Heiko
2
Pfenning, Frank
2
Păsăreanu, Corina S.
2
Schewe, Klaus-Dieter
2
Shi, Zhongzhi
2
Silva, Alexandra
2
Sutcliffe, Geoff
2
Wang, Dongming
2
Acosta, Maribel
1
Alagar, V.S.
1
Albornoz, Alvaro de
1
Alferes, Jose, Julio
1
Ali, Moonis
1
Alkhalaf, Muath
1
Alur, Rajeev
1
Alves-Foss, James
1
Amin, Adnan
1
Andersson, Birger
1
Aoki, Toshiaki
1
Apolloni, Bruno
1
Armando, Alessandro
1
Astesiano, Egidio
1
Aydin, Abdulbaki
1
Baader, Franz
1
Banach, Richard
1
Banda, Maria Garcia
1
Baresi, Luciano
1
Basili, Roberto
1
Battistutti, Osvaldo C.
1
Beckert, Bernhard
1
Berghammer, Rudolf
1
Bergholtz, Maria
1
Berns, Karsten
1
Berry, Gerard
1
Berthé, Valérie
1
Bidoit, Michel
1
Bieger, Jordi
1
Biere, Armin
1
Biondi, Fabrizio
1
Biro, Miklos
1
Blackburn, Patrick
1
Blazy, Sandrine
1
Bloem, Roderick
1
Bolc, Leonard
1
Bomarius, Frank
1
Borowik, Piotr
1
Botana, Francisco
1
Bouajjani, Ahmed
1
Bouzeghoub, Mokrane
1
Bowen, Jonathan P.
1
Branco, António
1
Brandt, Jens
1
Breuel, Thomas
1
Brinksma, Ed
1
Bultan, Tevfik
1
Bundy, Alan
1
Butler, Michael
1
Calimeri, Francesco
1
Camacho, Rui
1
Camelin, Nathalie
1
Camilleri, Albert
1
Castagna, Giuseppe
1
Champin, Pierre-Antoine
1
Chen, Falai
1
Chen, Yu-Fang
1
Cheng, Chih-Hong
1
Cialdea Mayer, Marta
1
Clarke, Edmund M.
1
Coelho, Helder
1
Coello Coello, Carlos
1
Cohen, Ernie
1
Conejo, Ricardo
1
Cook, Byron
1
Cori, Robert
1
Courcoubetis, Costas
1
Craw, Susan
1
Croitoru, Madalina
1
Cucchiara, Rita
1
see all ...
less ...
Recently Uploaded
Last Month
5
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=formal+%28languages+OR+language%29+and+%28%28automata+or+automated%29+or+automatic%29+theory&type=AllFields
Send by Email
×
Loading...