Author:
French Tim,McCabe-Dansted John,Reynolds Mark
Funder
Australian Research Council
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Logics and models of real time: a survey;Alur,1991
2. The Imperative Future,1996
3. The decision problem for linear temporal logic;Burgess;Notre Dame J. Form. Log.,1985
4. Solving sequential conditions by finite-state strategies;Büchi;Trans. Amer. Math. Soc.,1969
5. Automata and temporal logic over arbitrary linear time;Cristau,2009
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE;The Journal of Symbolic Logic;2018-09
2. Modelling Systems over General Linear Time;2016 23rd International Symposium on Temporal Representation and Reasoning (TIME);2016-10