Knight, K. Uni cation: a multidisciplinary survey. ACM computing surveys, March 1989 21, 1 (1989), 93-124. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
If ; ; =) A + then ; =) A. - If Then Proof (Correct)
....[Hue76, MM82] and linear algorithms [MM76, PW78] were discovered. In the practice of theorem proving, generally variants of Robinson s algorithm are still used, due to its low constant overhead on the kind of problems encountered in practice. For further discussion and a survey of uni cation, see [Kni89]. We describe a variant of Robinson s algorithm. Before we describe the uni cation algorithm itself, we relate it to the problem of proof search. For this we use a general method of residuation. It should be kept in mind that this is mostly a foundational tool and not necessarily a direct path ....
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
Proof Optimization Using Lemma Extraction - Rahul George Necula (Correct)
No context found.
Knight, K. Uni cation: a multidisciplinary survey. ACM computing surveys, March 1989 21, 1 (1989), 93-124.
Stefy: Java Parser for HPSGs Version 0.1 - Keselj (2000) (Correct)
No context found.
Kevin Knight. Uni cation: a multidisciplinary survey. ACM computing surveys, March 1989.
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (10 citations) (Correct)
No context found.
K. Knight. Uni cation: A multidisciplinary survey. ACM Computing Surveys, 21(1):93-124, March 1989.
Technical Report CS-2002-01 - Graph Uni Cation (2002) (Correct)
No context found.
Kevin Knight. Uni cation: a multidisciplinary survey. ACM computing surveys, March 1989.
Unknown - Linear Logic Programming (Correct)
No context found.
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
Unknown - Linear Type Theory (Correct)
No context found.
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
Unknown - Linear Calculus In (Correct)
No context found.
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
For the Completness Direction We Need to Generalize the.. - Theorem Completeness Of (Correct)
No context found.
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
Linear Type Checking - The Typing Rules (Correct)
No context found.
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
Termination - As The Example (Correct)
No context found.
Kevin Knight. Uni cation: A multi-disciplinary survey. ACM Computing Surveys, 2(1):93-124, March 1989.
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