Publisher
Springer International Publishing
Reference12 articles.
1. Back, R.-J.: Structured derivations: A unified proof style for teaching mathematics. Formal Aspects Comput. 22(5), 629–661 (2010).
https://doi.org/10.1007/s00165-009-0136-5
2. Back, R.-J., Bos, V., Eriksson, J.: MathEdit: Tool support for structured calculational proofs. TUCS Technical report 854, Turku Centre for Computer Science (2007)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);NC Carter,2017
4. Ekblad, A.: High-performance client-side web applications through Haskell EDSLs. In: Mainland, G., (ed) Proceedings 9th International Symposium on Haskell, Haskell 2016, pp. 62–73. ACM (2016).
https://doi.org/10.1145/2976002.2976015
5. Gries, D.: Foundations for calculational logic. In: Broy, M., Schieder, B. (eds.) Mathematical Methods in Program Development, pp. 83–126. Springer, Heidelberg (1997).
https://doi.org/10.1007/978-3-642-60858-2_16
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献