APA (7th ed.) Citation

STEINBERG, F., THÉRY, L., & THIES, H. (2021). COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ. Logical Methods in Computer Science (LMCS), 17(2), 1. https://doi.org/10.23638/LMCS-17(2:16)2021

Chicago Style (17th ed.) Citation

STEINBERG, FLORIAN, LAURENT THÉRY, and HOLGER THIES. "COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ." Logical Methods in Computer Science (LMCS) 17, no. 2 (2021): 1. https://doi.org/10.23638/LMCS-17(2:16)2021.

MLA (9th ed.) Citation

STEINBERG, FLORIAN, et al. "COMPUTABLE ANALYSIS AND NOTIONS OF CONTINUITY IN COQ." Logical Methods in Computer Science (LMCS), vol. 17, no. 2, 2021, p. 1, https://doi.org/10.23638/LMCS-17(2:16)2021.