A non-standard temporal deductive database system
From MaRDI portal
Publication:679339
DOI10.1006/JSCO.1996.0070zbMath0867.68036OpenAlexW2013710386MaRDI QIDQ679339
Jean-Raymond Gagné, John Plaice
Publication date: 22 April 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/86187d45891c3186baef91febda35b81721d60d0
Related Items (3)
Reasoning about negligibility and proximity in the set of all hyperreals ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ Verification of reactive systems using temporal logic with clocks
Uses Software
This page was built for publication: A non-standard temporal deductive database system
