Search results for: Olivier Ridoux
Lecture Notes in Computer Science > Conceptual Structures: Common Semantics for Sharing Knowledge > Theoretical Foundations > 166-180
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Development > 191-215
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Verification > 255-272
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Database Systems (DOOD) > 1033-1047
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 47-61
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging > 165-181
Lecture Notes in Computer Science > Conceptual Structures: Broadening the Base > Conceptual Structures for Data and Knowledge Bases > 187-201
Lecture Notes in Computer Science > Conceptual Structures: Logical, Linguistic, and Computational Issues > Contextual Logic and Formal Concept Analysis > 371-384
Lecture Notes in Computer Science > Logical Aspects of Computational Linguistics > Contributed Papers > 279-295
Lecture Notes in Computer Science > Conceptual Structures: Integration and Interfaces > Logical and Mathematical Foundations > 299-313