2 search results - page 1 / 1 » TeMP: A Temporal Monodic Prover |
CADE
2004
Springer
16 years 3 months ago
2004
Springer
125
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...