%0 Thesis %1 phd/hal/Ly14 %A Ly, Kim Quyen %D 2014 %K dblp %T Automated verification of termination certificates. (Vérification automatique de certificats de terminaison).

@phdthesis{phd/hal/Ly14, added-at = {2020-07-21T00:00:00.000+0200}, author = {Ly, Kim Quyen}, biburl = {https://www.bibsonomy.org/bibtex/21e6fd1aaefc5a495e80010eed25da1d2/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01097793}, interhash = {fe6f09162809792d5fa33814c0e75673}, intrahash = {1e6fd1aaefc5a495e80010eed25da1d2}, keywords = {dblp}, school = {Joseph Fourier University, Grenoble, France}, timestamp = {2020-07-24T00:53:33.000+0200}, title = {Automated verification of termination certificates. (Vérification automatique de certificats de terminaison).}, year = 2014 }