Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aczel, P.: An introduction to inductive definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic, pp. 739–782. North-Holland, Amsterdam (1977)
2. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. In: EATCS: Texts in Theoretical Computer Science. Springer, Heidelberg (2004)
3. Bradfield, J., Stirling, C.: Local model checking for infinite state spaces. Theoretical Computer Science 96, 157–174 (1992)
4. Coquand, T.: Infinite objects in type theory. In: Barendregt, H., Nipkow, T. (eds.) Types for Proofs and Programs, pp. 62–78. Springer, Heidelberg (1993)
5. Dam, M., Gurov, D.: μ-calculus with explicit points and approximations. Journal of Logic and Computation 12(2), 255–269 (2002)
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献