Search results for: Mireille Ducassé
Group Decision and Negotiation > 2016 > 25 > 6 > 1211-1235
Lecture Notes in Computer Science > Conceptual Structures for Discovering Knowledge > Accepted Papers > 77-90
Lecture Notes in Computer Science > Conceptual Structures: Knowledge Visualization and Reasoning > 217-230
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Tutorials > 10-29
Lecture Notes in Computer Science > Logic Programming > Regular Papers > 269-283
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging > 165-181
Lecture Notes in Computer Science > Static Analysis > 317-331
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 400-414