( en | de | ru )

 

Disambiguation of "Wallen, Lincoln A."

Author of the publication

copydeleteadd this publication to your clipboard
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).

, , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 17-31. Springer, (1996)

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)Learning and Applying Generalised Solutions using Higher Order Resolution., and . CADE, volume 310 of Lecture Notes in Computer Science, page 41-60. Springer, (1988)Logic Programming via Proof-valued Computations., and . ALPUK, page 253-262. Springer, (1992)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)Proof-terms for classical and intuitionistic resolution., , and . J. Log. Comput., 10 (2): 173-207 (2000)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)Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract)., , and . CADE, volume 1104 of Lecture Notes in Computer Science, page 17-31. Springer, (1996)