( en | de | ru )

 

Disambiguation of "Ridoux, Olivier"

Author of the publication

copydeleteadd this publication to your clipboard
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali.

, and . ILPS Workshop: Implementation Techniques for Logic Programming Languages, (1994)

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.

Olivier Coutand

Christoph Olivier

Olivier Brede

Paul Olivier

Hans Olivier

 

Other publications of authors with the same name

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