Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. A. Baziramwabo, P. McKenzie, D. Therien, Modular temporal logic, in: 14th Symp. on Logic in Computer Science (LICS’99), Trento, Italy, IEEE, New York, 1999, pp. 344–351.
2. A. Bergeron, S. Hamel, Cascade decomposition are bit-vector algorithms, in: Implementation and Application of Automata, 6th Internat. Conf., CIAA 2001, Pretoria, South Africa, July 23–25, 2001, Revised Papers, Lecture Notes in Computer Science, Vol. 2494, Springer, Berlin, 2002, pp. 13–66.
3. Vector algorithms for approximate string matching;Bergeron;Internat. J. Found. Comput. Sci.,2002
4. On the expressive power of temporal logic for finite words;Cohen;J. Comput. System Sci.,1993
5. J.A. Kamp, Tense logic and the theory of linear order, Ph.D. Thesis, University of California, Los Angeles, 1968.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LTL Can Be More Succinct;Automated Technology for Verification and Analysis;2010