![Mathematical logic / Logic / Predicate logic / Mathematics / Predicate / FO / Atomic sentence / Primitive recursive function / Syntactic predicate Mathematical logic / Logic / Predicate logic / Mathematics / Predicate / FO / Atomic sentence / Primitive recursive function / Syntactic predicate](https://www.pdfsearch.io/img/b0bab394fbe574197f1e2613361a2928.jpg) Date: 2018-01-15 09:26:26Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate | | Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.chAdd to Reading ListSource URL: practicalsynthesis.github.ioDownload Document from Source Website File Size: 743,75 KBShare Document on Facebook
|