Abrahamsson, O., Ho, S., Kanabar, H., Kumar, R., Myreen, M., Norrish, M., & Tan, Y. K. (2020). Proof-Producing Synthesis of CakeML from Monadic HOL Functions. Journal of Automated Reasoning, 64(7), 1287-1306. https://doi.org/10.1007/s10817-020-09559-8
Citace podle Chicago (17th ed.)Abrahamsson, Oskar, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus Myreen, Michael Norrish, a Yong Kiam Tan. "Proof-Producing Synthesis of CakeML from Monadic HOL Functions." Journal of Automated Reasoning 64, no. 7 (2020): 1287-1306. https://doi.org/10.1007/s10817-020-09559-8.
Citace podle MLA (9th ed.)Abrahamsson, Oskar, et al. "Proof-Producing Synthesis of CakeML from Monadic HOL Functions." Journal of Automated Reasoning, vol. 64, no. 7, 2020, pp. 1287-1306, https://doi.org/10.1007/s10817-020-09559-8.