The following pages link to M. A. Reynolds (Q790946):
Displaying 12 items.
- (Q266864) (redirect page) (← links)
- Metric temporal logic revisited (Q266865) (← links)
- A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- A new construction for free inverse semigroups (Q790947) (← links)
- A One-Pass Tree-Shaped Tableau for LTL+Past (Q4645753) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Undecidability of compass logic (Q4943504) (← links)
- (Q5079781) (← links)
- (Q5079791) (← links)
