Pair-independence and freeness analysis through linear refinement
Information and Computation
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Designing prolog semantics for a class of observables
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Deciding the bisimilarity relation between datalog goals
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Exploiting Parallelism in Coalgebraic Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |