Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference28 articles.
1. Fiedor, T., Holík, L., Lengál, O., Vojnar, T.: Nested antichains for WS1S. In: TACAS’15. Volume 9035 of LNCS. Springer, pp. 658–674 (2015)
2. Meyer, A.R.: Weak monadic second order theory of successor is not elementary-recursive. In Parikh, R., (ed.) Proceedings of Logic Colloquium—Symposium on Logic Held at Boston, 1972–1973. Volume 453 of Lecture Notes in Mathematics. Springer, pp. 132–154 (1972)
3. Elgaard, J., Klarlund, N., Møller, A.: MONA 1.x: new techniques for WS1S and WS2S. In: Proceedings of CAV’98. Volume 1427 of Lecture Notes in Computer Science. Springer, pp. 516–520 (1998)
4. Klarlund, N., Møller, A.: MONA Version 1.4 User Manual. BRICS, Department of Computer Science, Aarhus University. Notes Series NS-01-1.
http://www.brics.dk/mona/
(2001) . Revision of BRICS NS-98-3
5. Madhusudan, P., Parlato, G., Qiu, X.: Decidable logics combining heap structures and data. In: Proceedings of POPL’11. ACM, pp. 611–622 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献