Pages that link to "Item:Q688670"

The following pages link to A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670):

Displaying 13 items.

• Approximated parameterized verification of infinite-state processes with global conditions (Q1039841) (← links)
• The complexity of query evaluation in indefinite temporal constraint databases (Q1369238) (← links)
• Queries with arithmetical constraints (Q1391932) (← links)
• A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671) (← links)
• Constraint-generating dependencies (Q1807678) (← links)
• First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
• Estimating the maximum rise in temperature according to climate models using abstract interpretation (Q2283722) (← links)
• Verification of gap-order constraint abstractions of counter systems (Q2435309) (← links)
• Verification of Gap-Order Constraint Abstractions of Counter Systems (Q2891403) (← links)
• Interprocedural Reachability for Flat Integer Programs (Q2947875) (← links)
• Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)
• Data Multi-Pushdown Automata (Q5111652) (← links)
• Early detection of temporal constraint violations (Q6178450) (← links)