From post

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.

 

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

Continuations in Lambda-Prolog., и . ICLP, стр. 27-43. MIT Press, (1993)Naïve Reverse Can be Linear., и . ICLP, стр. 857-870. MIT Press, (1991)Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog., и . J. Funct. Log. Program., (2001)Searching for Objects and Properties with Logical Concept Analysis., и . Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), том 2120 из Lecture Notes in Computer Science, стр. 187-201. Springer, (2001)Arbitrary Relations in Formal Concept Analysis and Logical Information Systems., , и . Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), том 3596 из Lecture Notes in Computer Science, стр. 166-180. Springer, (2005)GEOLIS: a logical information system for geographical data., , , и . Revue Internationale de Géomatique, 17 (3-4): 371-390 (2007)Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG., , и . Fuji International Symposium on Functional and Logic Programming, том 1722 из Lecture Notes in Computer Science, стр. 267-283. Springer, (1999)Dynamic Memory Management for Sequential Logic Programming Languages., , и . IWMM, том 637 из Lecture Notes in Computer Science, стр. 82-102. Springer, (1992)Logical Approach to Natural Language Understanding in a Spoken Dialogue System., , и . TSD, том 3206 из Lecture Notes in Computer Science, стр. 637-644. Springer, (2004)A Logical Generalization of Formal Concept Analysis., и . ICCS, том 1867 из Lecture Notes in Computer Science, стр. 371-384. Springer, (2000)