Publisher
Springer International Publishing
Reference121 articles.
1. Abdulla, P. A., et al. (2004). Using forward reachability analysis for verification of lossy channel systems? Formal Methods in System Design, 25(1), 39–65.
2. Addison, J. W. (1959). Separation principles in the hierarchies of classical and effective set theory. Fundamenta Mathematicae, 46, 123–135.
3. Addison, J. W. (1962). Some problems in hierarchy theory. In Recursive function theory. Proceedings of symposia in pure mathematics (Vol. 5 , pp. 123–130). AMS.
4. Addison, J. W. (1962). The theory of hierarchies. In Logic, methodology and philosophy of science. Proceedings of the 1960 international congress, Palo Alto (pp. 26–37).
5. Addison, J. W. (1965). The method of alternating chains. In: The theory of models (pp. 1–16). Amsterdam, North Holland.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献