Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and ((automatic theorem) OR (automated 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 »
automata theory
automated theorem »
automata theory
languages »
language
Showing
161
-
180
of
329
Search:
'formal languages and ((automatic theorem) OR (automated theorem))'
,
query time: 0.49s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
161
Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... on Infinite Graphs -- Integrating Equational Reasoning into Instantiation-Based
Theorem
Proving -- Goal...
”
Read Now
162
Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Prover -- Combination of Isabelle/HOL with
Automatic
Tools -- ATS: A
Language
That Combines Programming...
”
Read Now
163
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... and dynamic semantics -- Declarative semantics for inconsistent database programs -- Tableau-based
theorem
...
”
Read Now
164
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
165
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On
Automated
Program...
”
Read Now
166
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... interpretation -- ELIOS-OBJ
theorem
proving in a specification
language
-- Incremental garbage collection without...
”
Read Now
167
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... Models of Tabular Forms -- Everlasting Challenges with the OBJ
Language
Family --
Formal
Modeling...
”
Read Now
168
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
169
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
170
Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... and Their Semantics - The Parallel Case -- Reasoning Support for Casl with
Automated
Theorem
Proving Systems...
”
Read Now
171
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
172
Decision Procedures : An Algorithmic Point of View
by
Kroening, Daniel
,
Strichman, Ofer
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
173
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
174
Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... knowing: The prepositional case -- Affordable classes of normal logic programs --
Automated
reasoning...
”
Read Now
175
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...
Language
learning with a bounded number of mind changes -- Efficient sharing of many secrets...
”
Read Now
176
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
...Inductive
theorem
proving by consistency for first-order clauses -- Reduction techniques for first...
”
Read Now
177
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
178
Theory and Applications of Relational Structures as Knowledge Instruments II : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
...
Theorems
for Fuzzy Weak Orders -- Relational Representation
Theorems
for Lattices with Negations: A Survey...
”
Read Now
179
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...Logic in Databases and Information Integration -- MuTACLP: A
Language
for Temporal Reasoning...
”
Read Now
180
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... of Modal Logics --
Automating
Theories in Intuitionistic Logic -- Taming the Complexity of Temporal...
”
4
5
6
7
8
9
10
11
12
13
14
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
110
006 - Special computer methods
107
004 - Data processing & computer science
81
511 - General principles of mathematics
16
670 - Manufacturing
5
518 - Numerical analysis
3
more ...
512 - Algebra
2
516 - Geometry
2
621 - Applied physics
2
003 - Systems
1
100 - Philosophy & psychology
1
510 - Mathematics
1
658 - General management
1
see all ...
less ...
Language
English
328
German
1
Collection
Springer Book Archives -2004
172
Springer eBooks 2005-
154
Cambridge Books Online
1
MIT Press eBook Archive
1
O'Reilly
1
Author
Voronkov, Andrei
14
Nerode, Anil
8
Artemov, Sergei
5
Wang, Dongming
5
Bibel, Wolfgang
3
Calmet, Jacques
3
more ...
Comon, Hubert
3
Dershowitz, Nachum
3
Fitting, Melvin
3
Furbach, Ulrich
3
Galmiche, Didier
3
Giunchiglia, Fausto
3
Harrison, John
3
Jones, Cliff B.
3
Kaufmann, Matt
3
Kerber, Manfred
3
Meseguer, José
3
Nipkow, Tobias
3
Sofronie-Stokkermans, Viorica
3
Alur, Rajeev
2
Ayala-Rincón, Mauricio
2
Baader, Franz
2
Basin, David
2
Baumgartner, Peter
2
Benzmüller, Christoph
2
Berghammer, Rudolf
2
Bonacina, Maria Paola
2
Botana, Francisco
2
Brinksma, Ed
2
Campbell, John A.
2
Dowek, Gilles
2
Fahrenberg, Uli
2
Felty, Amy
2
Finkel, Alain
2
Ganzinger, Harald
2
Gramlich, Bernhard
2
Grundy, Jim
2
Heule, Marijn J.H.
2
Hähnle, Reiner
2
Jipsen, Peter
2
Kahle, Reinhard
2
Kapur, Deepak
2
Kelemen, Jozef
2
Kirchner, Claude
2
Konev, Boris
2
Kropf, Thomas
2
Leucker, Martin
2
Liu, Zhiming
2
Manolios, Panagiotis
2
Martin-Vide, Carlos
2
McCune, William
2
Meyer, Bertrand
2
Miller, Dale
2
Miola, Alfonso
2
Moore, J Strother
2
Moreno-Diaz, Roberto
2
Möller, Bernhard
2
Narukawa, Yasuo
2
Nielsen, Mogens
2
Nieuwenhuis, Robert
2
Olderog, Ernst-Rüdiger
2
Olivetti, Nicola
2
Orlowska, Ewa
2
Paulin-Mohring, Christine
2
Paulson, Lawrence C.
2
Pearce, David
2
Peltier, Nicolas
2
Pfalzgraf, Jochen
2
Pfenning, Frank
2
Platzer, André
2
Podelski, Andreas
2
Popescu, Andrei
2
Rahonis, George
2
Ras, Zbigniew W.
2
Richter, Michael M.
2
Rosu, Grigore
2
Rusinowitch, Michael
2
Rybalchenko, Andrey
2
Schmidt, Renate A.
2
Schreiner, Wolfgang
2
Sebastiani, Roberto
2
Sekerinski, Emil
2
Shore, Richard A.
2
Stickel, Mark E.
2
Sutcliffe, Geoff
2
Swart, Harrie de
2
Thomas, Wolfgang
2
Valk, Rüdiger
2
Wagner, Klaus W.
2
Weidenbach, Christoph
2
Winter, Michael
2
Wirsing, Martin
2
Woodcock, Jim
2
Aagaard, Mark
1
Aagaard, Mark D.
1
Abramsky, S.
1
Aceto, Luca
1
Aichernig, Bernhard K.
1
Albert, Elvira
1
Alferes, Jose, Julio
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=9&lookfor=formal+languages+and+%28%28automatic+theorem%29+OR+%28automated+theorem%29%29&type=AllFields
Send by Email
×
Loading...