Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Demri, S., Finkel, A., Goranko, V., van Drimmelen, G.: Model-checking CTL
* over flat Presburger counter systems. Journal of Applied Non-classical Logics 20, 313–343 (2010)
2. Frougny, C., Sakarovitch, J.: Synchronized rational relations of finite and infinite words. Theor. Comput. Sci. 108(1), 45–82 (1993)
3. Hawkins, J.A.: A Performance Theory of Order and Constituency. Cambridge Univ. Pr., Cambridge (1994)
4. Lecture Notes in Computer Science;J. Kaneps,1990
5. Lecture Notes in Computer Science;B. Khoussainov,1995