Back to Results
First PageMeta Content
Mathematical logic / Logic / Theoretical computer science / Type theory / Automated theorem proving / Logic programming / Data types / Unification / Recursive data type / Substitution / Corecursion / First-order logic


Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette
Add to Reading List

Document Date: 2016-03-02 06:43:58

Open Document

File Size: 217,57 KB

Share Result on Facebook