Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Temporal logic with fixed points;Banieqbal;Temporal Logic in Specification,1987
2. On uniformity within NC1;Barrington;Journal of Computer and System Sciences,1990
3. Baziramwabo, A., P. McKenzie and D. Thérien, Modular temporal logic, in: Proc. 14th LICS (1999), p. 344.
4. First-order logic with two variables and unary temporal logic;Etessami;Inf. Comput.,2002
5. On the temporal analysis of fairness;Gabbay,1980
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献