The following pages link to Handling infinite temporal data (Q1900914):
Displayed 8 items.
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670) (← links)
- A mathematical framework for the semantics of symbolic languages representing periodic time (Q862832) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Metafinite model theory (Q1383163) (← links)
- Counting the solutions of Presburger equations without enumerating them. (Q1426156) (← links)
- Solving multi-granularity temporal constraint networks (Q1614864) (← links)
- Constraint-generating dependencies (Q1807678) (← links)
- A representation independent language for planar spatial databases with Euclidean distance (Q2641864) (← links)