( en | de | ru )

 

Disambiguierung von "Ridoux, Olivier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christoph Olivier

Olivier Brede

Olivier Coutand

Paul Olivier

Hans Olivier

 

Weitere Publikationen von Autoren mit dem selben Namen

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