Boyer, R.S., and Moore, J.S. 1972. \The Sharing of Structure in Theorem Proving Programs", In Machine Intelligence, Vol. 7, B. Melzer and D. Michie (eds.), Edinburgh Univ. Press, Edinburgh, UK, pp.101-116. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Preliminary User's Manual for Isabelle - Lawrence Paulson Computer (2 citations) (Correct)
Unification With Lazy Non-Redundant Copying - Martin Emele Project (1991) (16 citations) (Correct)
Designing a Theorem Prover - Lawrence Paulson Computer (1990) (9 citations) (Correct)
Natural Deduction as Higher-Order Resolution - Paulson (1986) (32 citations) (Correct)
An Implementation of Standard ML Modules - David Macqueen Att (1988) (22 citations) (Correct)
The implementation of the Gofer functional programming system - Jones (1994) (45 citations) (Correct)
Top-Down vs. Bottom-Up Revisited - Ramakrishnan, Sudarshan (Correct)
Incremental Algorithms for Optimizing Model Computation Based on .. - Ng, Tian (1994) (Correct)
Representing Scope in Intuitionistic Deductions - Stone (1997) (1 citation) (Correct)
A Prolog Technology Theorem Prover: Implementation by an Extended .. - Stickel (1987) (92 citations) (Correct)
An Efficient Decision Algorithm For Feature Logic - König (1992) (Correct)
Implementation Techniques for Prolog - Krall (1994) (3 citations) (Correct)
Unification With Lazy Non-Redundant Copying - Emele (1991) (16 citations) (Correct)
Dynamic Memory Management for Sequential Logic Programming .. - Bekkers, Ridoux, Ungaro (1992) (27 citations) (Correct)
An Implementation of Standard ML Modules - MacQueen (1988) (22 citations) (Correct)
LI-Engine: A New Sequential Control Model for Prolog - Li, Yao (Correct)
Layer Sharing: an improved Structure-Sharing Framework - Clergerie (1993) (1 citation) (Correct)
Lazy Structure Sharing for Query Optimization - Buchsbaum, Sundar, Tarjan (1993) (Correct)
Efficient Bottom-Up Evaluation Of Logic Programs - Ramakrishnan, Srivastava.. (1992) (12 citations) (Correct)
Efficient Constraints on Possible Worlds for Reasoning about.. - Stone (1997) (1 citation) (Correct)
Compiling Standard ML For Efficient Execution On Modern Machines - Shao (1994) (14 citations) (Correct)
1983-1993: The Wonder Years of Sequential Prolog Implementation - Van Roy (1993) (1 citation) (Correct)
Connectionist Unification with a distributed Representation - Weber (1992) (4 citations) (Correct)
Technical Report CS-2002-01 - Graph Uni Cation (2002) (Correct)
15th July 1972: A Significant Moment for Logic Programming - Davison (1992) Self-citation (Boyer Moore) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC