Programming Systems Lab: Publications by Dominique Larchey-Wendling

Saarland University Computer Science

Select author:

2019

Hilbert's Tenth Problem in Coq   (pdf)
Dominique Larchey-Wendling, Yannick Forster
Technical Report (To appear)

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines   (pdf)
Yannick Forster, Dominique Larchey-Wendling
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019


Login to edit


Legal notice, Privacy policy