Login / Signup
Partially Punctual Metric Temporal Logic is Decidable.
Khushraj Madnani
Shankara Narayanan Krishna
Paritosh K. Pandya
Published in:
CoRR (2014)
Keyphrases
</>
metric temporal logic
first order logic
transitive closure
information retrieval
databases
artificial intelligence
image segmentation
computational complexity
expressive power