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.

 

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

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)Software engineering applications of logic file system: application to automated multi-criteria indexation of software components., и . MSR, стр. 87-93. ACM, (2006)Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views., , и . CLA, том 672 из CEUR Workshop Proceedings, стр. 199-210. CEUR-WS.org, (2010)Continuations in Lambda-Prolog., и . ICLP, стр. 27-43. MIT Press, (1993)Naïve Reverse Can be Linear., и . ICLP, стр. 857-870. MIT Press, (1991)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)