Hilbert's Tenth Problem in Coq

MLA

Larchey-Wendling, Dominique, and Yannick Forster. Hilbert’s Tenth Problem in Coq. June 2019. EBSCOhost, https://doi.org/10.4230/LIPIcs.FSCD.2019.27⟩.

APA

Larchey-Wendling, D., & Forster, Y. (2019). Hilbert’s Tenth Problem in Coq. https://doi.org/10.4230/LIPIcs.FSCD.2019.27⟩

Chicago

Larchey-Wendling, Dominique, and Yannick Forster. 2019. “Hilbert’s Tenth Problem in Coq,” June. doi:10.4230/LIPIcs.FSCD.2019.27⟩.