( en | de | ru )

 

Disambiguation of "Wallen, Lincoln A."

Author of the publication

copydeleteadd this publication to your clipboard
Learning and Applying Generalised Solutions using Higher Order Resolution.

, and . CADE, volume 310 of Lecture Notes in Computer Science, page 41-60. Springer, (1988)

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)Matrix Proof Methods for Modal Logics.. IJCAI, page 917-923. Morgan Kaufmann, (1987)A Calculus for the Construction of Modular Prolog Programs., and . J. Log. Program., 12 (1&2): 147-177 (1992)Representing Unification in a Logical Framework., and . UNIF, page 10-12. (1995)Logic Programming via Proof-valued Computations., and . ALPUK, page 253-262. Springer, (1992)Learning and Applying Generalised Solutions using Higher Order Resolution., and . CADE, volume 310 of Lecture Notes in Computer Science, page 41-60. Springer, (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)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)