( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Representing Unification in a Logical Framework.

, и . UNIF, стр. 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.

Wallen Mphepo

Henrik Wallén

Ulrich Lincoln

Tania Lincoln

Tania Lincoln

 

Другие публикации лиц с тем же именем

Automated Theorem Proving in Non-Classical Logics.. SCAI, том 1 из Frontiers in Artificial Intelligence and Applications, стр. 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., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 41-60. Springer, (1988)Logic Programming via Proof-valued Computations., и . ALPUK, стр. 253-262. Springer, (1992)Matrix Proof Methods for Modal Logics.. IJCAI, стр. 917-923. Morgan Kaufmann, (1987)A Calculus for the Construction of Modular Prolog Programs., и . J. Log. Program., 12 (1&2): 147-177 (1992)Representing Unification in a Logical Framework., и . UNIF, стр. 10-12. (1995)Proof-terms for classical and intuitionistic resolution., , и . J. Log. Comput., 10 (2): 173-207 (2000)Investigations into Proof-Search in a System of First-Order Dependent Function Types., и . CADE, том 449 из Lecture Notes in Computer Science, стр. 236-250. Springer, (1990)Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract)., , и . CADE, том 1104 из Lecture Notes in Computer Science, стр. 17-31. Springer, (1996)