researchr - search publication Theorem Proving

researchr

You are not signed in
Sign in
Sign up

1853 publication results matching ' Theorem Proving'

Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications
… then be verified using an inductive theorem prover available for membership … by symbolic analysis before interactively proving them.

Available at http …
Vlad Rusu. tap 2010: 135-150 [doi]
The mathematical language AUTOMATH, its usage, and some of its extensions
… S2 TL;DR: The possibilities of superimposed languages, automatic theorem proving, and extensions of Automath are described in this chapter. …
D. Bruijn. Studies in logic and the foundations of mathematics, 133:73-100, 1970. [doi]
Internal Analogy in Theorem ProvingErica Melis, Jon Whittle. cade 1996: 92-105
Analogy in Inductive Theorem ProvingErica Melis, Jon Whittle. JAR, 22(2):117-147, 1999.
Theorem Proving for Functional ProgrammersMaarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. IFL 2002: 55-71 [doi]
Refinement and Theorem ProvingPanagiotis Manolios. sfm 2006: 176-210 [doi]
Buchberger Algorithm in Theorem ProvingDoina Tãtar. cuza, 4:85-92, 1995.
An Interactive Theorem Proving AssistantUlrich Endriss. tableaux 1999: 308-312
The Specialization of Programs by Theorem ProvingChin-Liang Chang, Richard C. T. Lee, John K. Dixon. SICOMP, 2(1):7-15, 1973.
The Concept of Demodulation in Theorem ProvingLarry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla. JACM, 14(4):698-709, 1967. [doi]
Knowledge-Based Theorem ProvingDominique Pastre. gi 1980: 429
An effective theorem proving algorithmP. Ecsedi-Tóth, A. Varga. actaC, 3:249-260, 1977.
Generating Text with a Theorem ProverIvan I. Garibay. anlp 2000: 13-18 [doi]
Non-Resolution Theorem ProvingW. W. Bledsoe. ai, 9(1):1-35, 1977.
Theorem Proving by Chain ResolutionPatrick Dehornoy, Abderrahim Marzouk. TCS, 206(1-2):163-180, 1998. [doi]
A Circumscriptive Theorem ProverMatthew L. Ginsberg. ai, 39(2):209-230, 1989.
E - a brainiac theorem proverStephan Schulz. aicom, 15(2-3):111-126, 2002. [doi]
Three Tactic Theorem ProvingDon Syme. tphol 1999: 203-220 [doi]
Automated Theorem Proving in MathematicsDominique Pastre. AMAI, 8(3-4):425-447, 1993.
Constraints and Theorem ProvingHarald Ganzinger, Robert Nieuwenhuis. iccl 2001: 159-201 [doi]

Sign in or sign up to see more results.

runs on WebDSL