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
61
-
80
of
168
Search:
'formal languages and automatic theorem'
,
query time: 0.32s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Advanced Topics in Term Rewriting
by
Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents:
“
... -- 10 Proving Termination of Logic Programs -- A Kruskal’s
Theorem
-- A.l Partial Well-Orderings -- A.2...
”
Read Now
62
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... of the Universal Automaton of a Regular
Language
-- Correlations of Partial Words -- Session 2A -- Testing...
”
Read Now
63
Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...
Automatic
Geometry
Theorem
-Proving and
Automatic
Geometry Problem-Solving -- Solving Geometric...
”
Read Now
64
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... --
Formal
Methods for Conformance Testing: Theory Can Be Practical -- Processor Verification -- Proof...
”
Read Now
65
Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... and
formal
language
processing -- PUNDIT — Natural
language
interfaces -- The Esteam-316 dialogue manager...
”
Read Now
66
Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... proof of write invalidate cache coherence -- Transforming the
theorem
prover into a digital design tool...
”
Read Now
67
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... Randomized Search -- SMACK: Decoupling Source
Language
Details from Verifier Implementations -- Security...
”
Read Now
68
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:
“
...Invited Talk: -- High-Level Verification Using
Theorem
Proving and
Formalized
Mathematics...
”
Read Now
69
FME '97 Industrial Applications and Strengthened Foundations of
Formal
Methods...
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...Diagrams and programming
languages
for programmable controllers -- Graphical specification...
”
Read Now
70
Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... with Timers and Types --
Automatic
Refinement of Split Binary Semaphore -- Stepwise Development of Simulink...
”
Read Now
71
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...Non-speculative and upward invocation of continuations in a parallel
language
-- A model inference...
”
Read Now
72
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...An Overview of the Ciao Multiparadigm
Language
and Program Development Environment and Its Design...
”
Read Now
73
Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...LEO-II - A Cooperative
Automatic
Theorem
Prover for Classical Higher-Order Logic (System...
”
Read Now
74
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... -- NP-Completeness Results for Deductive Problems on Stratified Terms -- Is Cantor’s
Theorem
Automatic
...
”
Read Now
75
Logical Aspects of Computational Linguistics : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...
language
explanation for
formal
proofs -- Models for polymorphic Lambek Calculus -- Sloopy Identity -- A...
”
Read Now
76
Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Analysis for Incompletely Defined Programs --
Automatic
Certification of Heap Consumption -- A...
”
Read Now
77
Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
..., with Applications to Lossy Channel Systems -- Verification Condition Generation Via
Theorem
Proving...
”
Read Now
78
Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... of Classical Automata Constructions --
Automatic
Validation of Transformation Rules for JavaVerification...
”
Read Now
79
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
80
Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...: Guessing
Formal
Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...
”
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
45
511 - General principles of mathematics
7
512 - Algebra
2
516 - Geometry
2
more ...
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
168
Collection
Springer Book Archives -2004
87
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
Brinksma, Ed
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
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 ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&lookfor=formal+languages+and+automatic+theorem&type=AllFields
Send by Email
×
Loading...