Search results for: Bart Demoen
Lecture Notes in Computer Science > Logic Programming > Functional and Constraint Logic Programming > 72-86
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Implementations and Applications > 1240-1254
Lecture Notes in Computer Science > Static Analysis > 281-296
Lecture Notes in Computer Science > Static Analysis > 128-142
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Regular Papers > 299-317
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 246-261
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 147-158
Lecture Notes in Computer Science > Logic Programming > Posters > 509-510
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP’99 > Regular Papers > 174-188
Lecture Notes in Computer Science > Logic Programming > 165-176
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Logic Programming > 93-108
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Implementation > 106-121
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Program Transformation > 59-73