Back to Results
First PageMeta Content
Mathematics / Automated theorem proving / Logic programming / Unification / Curry–Howard correspondence / First-order logic / Interpretation / Heat equation / SKI combinator calculus / Mathematical logic / Logic / Model theory


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, Franc
Add to Reading List

Document Date: 2015-03-12 19:07:51

Open Document

File Size: 179,40 KB

Share Result on Facebook
UPDATE