The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Linearisability on datalog programs
Theoretical Computer Science
Hi-index | 0.00 |