MOMIGLIANO, A., PIENTKA, B., & THIBODEAU, D. (2019). A case study in programming coinductive proofs: Howe’s method. Mathematical structures in computer science, 29(8), 1309-1343. https://doi.org/10.1017/S0960129518000415
Citace podle Chicago (17th ed.)MOMIGLIANO, ALBERTO, BRIGITTE PIENTKA, a DAVID THIBODEAU. "A Case Study in Programming Coinductive Proofs: Howe’s Method." Mathematical Structures in Computer Science 29, no. 8 (2019): 1309-1343. https://doi.org/10.1017/S0960129518000415.
Citace podle MLA (9th ed.)MOMIGLIANO, ALBERTO, et al. "A Case Study in Programming Coinductive Proofs: Howe’s Method." Mathematical Structures in Computer Science, vol. 29, no. 8, 2019, pp. 1309-1343, https://doi.org/10.1017/S0960129518000415.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..