Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;R.J.R. Back,1990
2. Back, R.J.R., von Wright, J.: Combining angels, demons and miracles in program specifications. Theoretical Computer Science 100, 365–383 (1992)
3. Back, R.J.R., von Wright, J.: Games and winning strategies. Information Processing Letters 53(3), 165–172 (1995)
4. Graduate Texts in Computer Science;R.J.R. Back,1998
5. Bell, J.L., Slomson, A.R.: Models and Ultraproducts, 2nd edn. North-Holland, Amsterdam (1971)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献