Author:
Demri Stéphane,Rabinovich Alexander
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Bruyère, V., Carton, O.: Automata on linear orderings. Journal of Computer and System Sciences 73, 1–24 (2007)
2. Lecture Notes in Mathematics;J.R. Büchi,1973
3. Lecture Notes in Computer Science;T. Cachat,2006
4. Demri, S., Nowak, D.: Reasoning about transfinite sequences. International Journal of Foundations of Computer Science 18(1), 87–112 (2007)
5. Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic - Mathematical Foundations and Computational Aspects, vol. 1. OUP, Oxford (1994)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献