Combined reasoning by automated cooperation

, , &
Journal of Applied Logic 6 (3):318-342 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.06.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,248

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computer supported mathematics with Ωmega.Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2006 - Journal of Applied Logic 4 (4):533-559.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann, Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence.Benzmüller Christoph & Woltzenlogel Paleo Bruno - 2013
Omega.Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet & Jörg Siekmann - 2006 - In Wiedijk Freek, The Seventeen Provers of the World. Springer. pp. 127-141.
Gödel’s God in Isabelle/HOL.Benzmüller Christoph & Woltzenlogel Paleo Bruno - 2013 - Archive of Formal Proofs.
Proof Development in OMEGA: The Irrationality of Square Root of 2.Siekmann Jörg, Benzmüller Christoph, Fiedler Armin, Meier Andreas, Normann Immanuel & Pollet Martin - 2003 - In Kamareddine Fairouz, Thirty Five Years of Automating Mathematics. Kluwer Academic Publishers. pp. 271-314.
Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III.Benzmüller Christoph & Wirth Claus-Peter - 2009
Cumulative Habilitation Script.Christoph Benzmüller - 2006 - Saarland University, Germany.
Equality and Extensionality in Higher-Order Theorem Proving.Benzmüller Christoph - 1999 - Dissertation, Naturwissenschaftlich-Technische Fakultät I, Saarland University, Saarbrücken, Germany

Analytics

Added to PP
2016-06-30

Downloads
37 (#712,938)

6 months
10 (#468,789)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.

Add more citations

References found in this work

Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
General models, descriptions, and choice in type theory.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):385-394.
Non-trivial symbolic computations in proof planning.Volker Sorge - 2000 - In Dov M. Gabbay & Maarten de Rijke, Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 121--135.

View all 6 references / Add more references