Handling infinite temporal data
From MaRDI portal
Publication:1900914
DOI10.1006/jcss.1995.1049zbMath0831.68034OpenAlexW2912292072MaRDI QIDQ1900914
J.-M. Stévenne, Pierre Wolper, Froduald Kabanza
Publication date: 25 October 1995
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jcss.1995.1049
Related Items
Solving multi-granularity temporal constraint networks ⋮ A representation independent language for planar spatial databases with Euclidean distance ⋮ A mathematical framework for the semantics of symbolic languages representing periodic time ⋮ Metafinite model theory ⋮ Programming in metric temporal logic ⋮ Cost-based temporal reasoning ⋮ Counting the solutions of Presburger equations without enumerating them. ⋮ Metafinite model theory ⋮ A closed-form evaluation for Datalog queries with integer (gap)-order constraints ⋮ Bottom-up evaluation of Datalog programs with arithmetic constraints ⋮ Constraint-generating dependencies