Login / Signup
On Temporal and Separation Logics (Invited Paper).
Stéphane Demri
Published in:
TIME (2018)
Keyphrases
</>
invited paper
expressive power
temporal information
spatio temporal
modal logic
temporal data
spatial and temporal
temporal databases
temporal reasoning
temporal constraints
lecture notes
temporal relations
neural network
query language
information technology
information systems
databases
temporal patterns