Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and automatic theorem
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 theorem »
automated theorem
,
automata theory
languages »
language
Showing
101
-
120
of
166
Search:
'formal languages and automatic theorem'
,
query time: 0.34s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Based
Automatic
Software Misconfiguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread...
”
Read Now
102
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:
“
... Constraints Using the Witness Method --
Automatic
Discovery of Geometry
Theorems
Using Minimal Canonical...
”
Read Now
103
Inductive Logic Programming : 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... -- Fanizzi
Automatic
Conjecturing of P-Recursions Using Lifted Inference -- Machine learning of microbial...
”
Read Now
104
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Published 2020
Springer International Publishing
Table of Contents:
“
... description) -- Beyond Notations: Hygienic Macro Expansion for
Theorem
Proving
Languages
--
Formalizations
...
”
Read Now
105
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:
“
... Method -- GEOTHER 1.1: Handling and Proving Geometric
Theorems
Automatically
-- Distance Coordinates Used...
”
Read Now
106
Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... System under a Combined Scenario by
Theorem
Proving --
Formal
Verification of Loop Bound Estimation...
”
Read Now
107
Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... refinement and trace reduction
theorems
-- Powerful techniques for the
automatic
generation of invariants...
”
Read Now
108
Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
... Suites -- Case Study:
Automatic
test case generation for a secure cache Implementation -- Verifying Code...
”
Read Now
109
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
...
Formal
Verification for
Theorems
and Its Application in Software Specification Verification -- Your Proof...
”
Read Now
110
Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... --
Automatically
Generating Counterexamples to Naive Free
Theorems
-- Applying Constraint Logic Programming to SQL...
”
Read Now
111
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
...) -- The Complexity of
Theorem
Proving in Circumscription and Minimal Entailment -- Visibly Linear Temporal Logic...
”
Read Now
112
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... -- Definability and Transformations for Cost Logics and
Automatic
Structures -- Generalised Lyndon-Schützenberger...
”
Read Now
113
Automated Practical Reasoning : Algebraic Approaches
Published 1995
Springer Vienna
Table of Contents:
“
... for polynomial systems -- 3 Mechanical geometry
theorem
proving -- 4
Automatic
derivation of unknown relations...
”
Read Now
114
Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Pr...
Published 2014
Springer International Publishing
Table of Contents:
“
... Programming
Languages
and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...
”
Read Now
115
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification -- AutoMOTGen:
Automatic
...
”
Read Now
116
Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... -- Disguising recursively chained rewrite rules as equational
theorems
, as implemented in the prover EFTTP Mark...
”
Read Now
117
Modeling Decisions for Artificial Intelligence : 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... --
Automatic
Segmentation of Neoplastic Hepatic Disease Symptoms in CT Images -- A Robust Localization Method...
”
Read Now
118
Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... -- Introduction to the Coq Proof-Assistant for Practical Software Verification -- Advanced
Theorem
Proving...
”
Read Now
119
Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Dynamic RelationNets -- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A
Formal
...
”
Read Now
120
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...Model Checking Conformance with Scenario-Based Specifications --
Theorem
Proving -- Deductive...
”
1
2
3
4
5
6
7
8
9
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
60
006 - Special computer methods
46
004 - Data processing & computer science
33
040 - [Unassigned]
10
511 - General principles of mathematics
7
512 - Algebra
2
more ...
516 - Geometry
2
518 - Numerical analysis
2
670 - Manufacturing
2
003 - Systems
1
100 - Philosophy & psychology
1
510 - Mathematics
1
621 - Applied physics
1
see all ...
less ...
Language
English
166
Collection
Springer Book Archives -2004
85
Springer eBooks 2005-
79
Cambridge Books Online
1
MIT Press eBook Archive
1
Author
Voronkov, Andrei
7
Artemov, Sergei
4
Nerode, Anil
4
Kerber, Manfred
3
Alur, Rajeev
2
Basin, David
2
more ...
Baumgartner, Peter
2
Comon, Hubert
2
Dershowitz, Nachum
2
Dowek, Gilles
2
Giunchiglia, Fausto
2
Jones, Cliff B.
2
Kapur, Deepak
2
Konev, Boris
2
Kropf, Thomas
2
Martin-Vide, Carlos
2
Meyer, Bertrand
2
Nielsen, Mogens
2
Nipkow, Tobias
2
Pfenning, Frank
2
Rahonis, George
2
Rybalchenko, Andrey
2
Sutcliffe, Geoff
2
Thomas, Wolfgang
2
Valk, Rüdiger
2
Wang, Dongming
2
Aichernig, Bernhard K.
1
Alferes, Jose, Julio
1
Alves-Foss, James
1
Aoki, Toshiaki
1
Armando, Alessandro
1
Artikis, Alexander
1
Autexier, Serge
1
Baader, Franz
1
Ball, Thomas
1
Banda, Maria Garcia
1
Barthe, Gilles
1
Basili, Roberto
1
Beckert, Bernhard
1
Berghammer, Rudolf
1
Beringer, Lennart
1
Berry, Gerard
1
Berstel, Jean
1
Berthé, Valerie
1
Bidoit, Michel
1
Biere, Armin
1
Biermann, A.W.
1
Biondi, Fabrizio
1
Bittencourt, Guilherme
1
Blackburn, Patrick
1
Blanchette, Jasmin Christian
1
Blass, Andreas
1
Blazy, Sandrine
1
Bloem, Roderick
1
Blume, Matthias
1
Botana, Francisco
1
Bowen, Jonathan P.
1
Boyer, Robert Stephen
1
Bozapalidis, Symeon
1
Brandt, Jens
1
Brinksma, Ed
1
Bro Miltersen, Peter
1
Bundy, Alan
1
Butler, Michael
1
Cai, Jin-Yi
1
Calmet, Jacques
1
Calude, Cristian S.
1
Calude, Elena
1
Camilleri, Albert
1
Campbell, John
1
Campbell, John A.
1
Camurati, Paolo Enrico
1
Carvalho, Ariadne
1
Chlipala, Adam
1
Choueiry, Berthe Y.
1
Cialdea Mayer, Marta
1
Cohen, Ernie
1
Comyn, Gerard
1
Cooper, Barry S.
1
Cori, Robert
1
Courcoubetis, Costas
1
Csuhaj-Varjú, Ersébet
1
Dahl, Veronica
1
Dastani, Mehdi
1
Dauchet, Max
1
Davenport, James H.
1
Davis, Larry S.
1
De Mol, Liesbeth
1
Dechter, Rina
1
Dediu, Adrian Horia
1
Degano, Pierpaolo
1
Demri, Stéphane
1
Dietzfelbinger, Martin
1
Dinneen, Michael J.
1
Dubois, Catherine
1
Durand, Bruno
1
Eijck, Jan van
1
Eveking, Hans
1
Feijs, Loe M.G.
1
Felty, Amy
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=6&lookfor=formal+languages+and+automatic+theorem&type=AllFields
Send by Email
×
Loading...