A Nelson-Oppen based Proof System using Theory Specific Proof Systems∗ Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract SMT solvers are nowadays per - David Nelson - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-08-12 05:51:25		A Nelson-Oppen based Proof System using Theory Specific Proof Systems∗ Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract SMT solvers are nowadays per Add to Reading List Source URL: pxtp2011.loria.fr Download Document from Source Website File Size: 464,91 KB Share Document on Facebook