Directional Type Checking for Logic Programs: Beyond Discriminative Types
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Specialising Logic Programs with Respect to Call?Post Specifications
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
On Verification in Logic Database Languages
CL '00 Proceedings of the First International Conference on Computational Logic
Proving correctness and completeness of normal programs – a declarative approach
Theory and Practice of Logic Programming
Hi-index | 0.00 |