Back to Results
First PageMeta Content
Mathematical 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.ch
Add to Reading List

Document Date: 2018-01-15 09:26:26


Open Document

File Size: 691,41 KB

Share Result on Facebook
UPDATE