@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}
}

{"_id":"W5H4KkgB7R8HNK5jJ","bibbaseid":"larcheywendling-forster-hilbertstenthproblemincoqextendedversion-2022","author_short":["Larchey-Wendling, D.","Forster, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dominique"],"propositions":[],"lastnames":["Larchey-Wendling"],"suffixes":[]},{"firstnames":["Yannick"],"propositions":[],"lastnames":["Forster"],"suffixes":[]}],"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","bibtex":"@article{DBLP:journals/lmcs/Larchey-Wendling22,\n author = {Dominique Larchey{-}Wendling and\n Yannick Forster},\n title = {Hilbert's Tenth Problem in Coq (Extended Version)},\n journal = {Log. Methods Comput. Sci.},\n volume = {18},\n number = {1},\n year = {2022},\n url = {https://doi.org/10.46298/lmcs-18(1:35)2022},\n doi = {10.46298/LMCS-18(1:35)2022},\n timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/lmcs/Larchey-Wendling22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Larchey-Wendling, D.","Forster, Y."],"key":"DBLP:journals/lmcs/Larchey-Wendling22","id":"DBLP:journals/lmcs/Larchey-Wendling22","bibbaseid":"larcheywendling-forster-hilbertstenthproblemincoqextendedversion-2022","role":"author","urls":{"Paper":"https://doi.org/10.46298/lmcs-18(1:35)2022"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.uni-trier.de/pid/188/5682-2.bib?param=1","dataSources":["5syoA3E4Kc7JZpcPK","dAj4teqKkvM7AP9eB"],"keywords":[],"search_terms":["hilbert","tenth","problem","coq","extended","version","larchey-wendling","forster"],"title":"Hilbert's Tenth Problem in Coq (Extended Version)","year":2022}