![](https://www.pdfsearch.io/img/1f0d6956db660f4fc88d829472624cc5.jpg) Date: 2015-05-28 05:18:35
| | A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, FrancAdd to Reading ListSource URL: lara.epfl.chDownload Document from Source Website File Size: 178,60 KBShare Document on Facebook
|