![](/img/cover-not-exists.png)
A Decision Procedure for (Co)datatypes in SMT Solvers
Reynolds, Andrew, Blanchette, Jasmin ChristianVolume:
58
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9372-6
Date:
March, 2017
File:
PDF, 905 KB
english, 2017