243 followers
A Decision Procedure for (Co)datatypes in SMT Solvers. - Andrew Reynolds, Jasmin Christian Blanchette http://t.co/QKy0eMqSaN
A Decision Procedure for (Co)datatypes in SMT Solvers. - Andrew Reynolds, Jasmin Christian Blanchette http://t.co/QKy0eMqSaN