A Decision Procedure for (Co)datatypes in SMT Solvers∗ Andrew Reynolds Department of Computer Science The University of Iowa, USA Abstract

First Page		Document Content
Date: 2016-04-11 16:26:36		A Decision Procedure for (Co)datatypes in SMT Solvers∗ Andrew Reynolds Department of Computer Science The University of Iowa, USA Abstract Add to Reading List Source URL: people.mpi-inf.mpg.de Download Document from Source Website File Size: 131,41 KB Share Document on Facebook