View of Finite Materialisability of Datalog Programs with Metric Temporal Operators

Return to Article Details Finite Materialisability of Datalog Programs with Metric Temporal Operators Download Download PDF