Hilbert's Tenth Problem in Coq (Extended Version). Larchey-Wendling, D. & Forster, Y. Log. Methods Comput. Sci., 2022.
Hilbert's Tenth Problem in Coq (Extended Version) [link]Paper  doi  bibtex   
@article{DBLP:journals/lmcs/Larchey-Wendling22,
  author       = {Dominique Larchey{-}Wendling and
                  Yannick Forster},
  title        = {Hilbert's Tenth Problem in Coq (Extended Version)},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(1:35)2022},
  doi          = {10.46298/lmcs-18(1:35)2022},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/Larchey-Wendling22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0