2 search results - page 1 / 1 » TeMP: A Temporal Monodic Prover |
CADE
2004
Springer
15 years 10 months ago
2004
Springer
85
Voted
CADE
2005
Springer
15 years 10 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...