Espírito Santo, J., Matthes, R., Nakazawa, K., & Pinto, L. (2014). Confluence for classical logic through the distinction between values and computations. Electronic proceedings in theoretical computer science, 164(Proc. CL&C 2014), 63-77. https://doi.org/10.4204/EPTCS.164.5
Citace podle Chicago (17th ed.)Espírito Santo, José, Ralph Matthes, Koji Nakazawa, a Luís Pinto. "Confluence for Classical Logic Through the Distinction Between Values and Computations." Electronic Proceedings in Theoretical Computer Science 164, no. Proc. CL&C 2014 (2014): 63-77. https://doi.org/10.4204/EPTCS.164.5.
Citace podle MLA (9th ed.)Espírito Santo, José, et al. "Confluence for Classical Logic Through the Distinction Between Values and Computations." Electronic Proceedings in Theoretical Computer Science, vol. 164, no. Proc. CL&C 2014, 2014, pp. 63-77, https://doi.org/10.4204/EPTCS.164.5.