Search results for: Maurice Bruynooghe
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 207-219
Lecture Notes in Computer Science > Program Development in Computational Logic > Transformation and Specialisation > 340-375
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Applications > 132-144
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > A Portrait of a Scientist as a Computational Logician > 1-4
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 432-446
Lecture Notes in Computer Science > ESOP '88 > 359-372
Lecture Notes in Computer Science > ESOP '90 > 106-117
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Optimizations > 167-181
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Applications > 145-157