<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-01-15 09:26:26Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2018-01-15 09:26:26Mathematical logic Logic Predicate logic Mathematics Predicate FO Atomic sentence Primitive recursive function Syntactic predicate |
Add to Reading List |
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