In Freek Wiedijk (ed.), The Seventeen Provers of the World. Springer. pp. 127-141 (2006)

Authors
Christoph Benzmueller
Freie Universität Berlin
Abstract This article has no associated abstract. (fix it)
Keywords own   Proof Assistants   OMEGA   Interactive Proof   Automated Reasoning   Proof Planning   System Integration
Categories No categories specified
(categorize this paper)
ISBN(s) 978-3-540-30704-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,548
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
On a Result of Szemerédi.Albin L. Jones - 2008 - Journal of Symbolic Logic 73 (3):953-956.
Fixed Point Theories and Dependent Choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
An Effective Proof That Open Sets Are Ramsey.Jeremy Avigad - 1998 - Archive for Mathematical Logic 37 (4):235-240.
Sequent Reconstruction in LLM—A Sweepline Proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
On the Proof Theory of the Modal Mu-Calculus.Thomas Studer - 2008 - Studia Logica 89 (3):343-363.

Analytics

Added to PP index
2017-12-04

Total views
5 ( #1,109,661 of 2,348,443 )

Recent downloads (6 months)
1 ( #511,012 of 2,348,443 )

How can I increase my downloads?

Downloads

My notes