Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal 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
:
formal language »
formal languages
Showing
1
-
20
of
189
Search:
'formal language and ((automata or automated) or automatic) theory'
,
query time: 1.19s
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
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
Automated
Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... -- Certifying a Tree
Automata
Completion Checker --
Automated
Induction with Constrained Tree
Automata
...
”
Read Now
18
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
19
Automated
Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...Rewriting -- Rewriting Logic Semantics: From
Language
Specifications to
Formal
Analysis Tools -- A...
”
Read Now
20
Automated
Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... for Type
Theory
-- The Nuprl Open Logical Environment -- System Description: aRa – An
Automatic
Theorem...
”
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 ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=formal+language+and+%28%28automata+or+automated%29+or+automatic%29+theory&type=AllFields
Send by Email
×
Loading...