Pages that link to "Item:Q1244341"
From MaRDI portal
The following pages link to An efficient decision procedure for the theory of rational order (Q1244341):
Displaying 3 items.
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670) (← links)
- The complexity of query evaluation in indefinite temporal constraint databases (Q1369238) (← links)
- Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
