( 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)Learning and Applying Generalised Solutions using Higher Order Resolution., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 41-60. Springer, (1988)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)Logic Programming via Proof-valued Computations., и . ALPUK, стр. 253-262. Springer, (1992)Matrix Proof Methods for Modal Logics.. IJCAI, стр. 917-923. Morgan Kaufmann, (1987)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., , и . 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)