( en | de | ru )

 

Disambiguation of "Wallen, Lincoln A."

Author of the publication

copydeleteadd this publication to your clipboard
Representing Unification in a Logical Framework.

, and . UNIF, page 10-12. (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wallen Mphepo

Henrik Wallén

Ulrich Lincoln

Tania Lincoln

Tania Lincoln

 

Other publications of authors with the same name

Automated Theorem Proving in Non-Classical Logics.. SCAI, volume 1 of Frontiers in Artificial Intelligence and Applications, page 1-12. IOS Press, (1988)Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics.. MIT Press series in artificial intelligence MIT Press, (1990)Representing Unification in a Logical Framework., and . UNIF, page 10-12. (1995)Learning and Applying Generalised Solutions using Higher Order Resolution., and . CADE, volume 310 of Lecture Notes in Computer Science, page 41-60. Springer, (1988)Matrix Proof Methods for Modal Logics.. IJCAI, page 917-923. Morgan Kaufmann, (1987)Logic Programming via Proof-valued Computations., and . ALPUK, page 253-262. Springer, (1992)A Calculus for the Construction of Modular Prolog Programs., and . J. Log. Program., 12 (1&2): 147-177 (1992)Proof-terms for classical and intuitionistic resolution., , and . J. Log. Comput., 10 (2): 173-207 (2000)On the Intuitionistic Force of Classical Search (Extended Abstract)., , and . TABLEAUX, volume 1071 of Lecture Notes in Computer Science, page 295-311. Springer, (1996)Investigations into Proof-Search in a System of First-Order Dependent Function Types., and . CADE, volume 449 of Lecture Notes in Computer Science, page 236-250. Springer, (1990)