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 | 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 WebsiteFile Size: 691,41 KBShare Document on Facebook |
A brief introduction to Higher Order Logic and the HOL proof assistant Monica NesiDocID: 1rjEK - View Document | |
Al-Kashi’s constant τ Peter Harremoës March 3, 2012 Here I collect some facts about al-Kashi’s constant that was appearently fist used by the Persian mathematician Jamshid al-Kashi. A previous version of this pageDocID: 1qBvi - View Document | |
Formal Development with ABEL ∗ Ole-Johan Dahl and Olaf Owe Department of InformaticsDocID: 1q22a - View Document | |
The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas DixonDocID: 1pWca - View Document | |
A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge UniversityDocID: 1oW2a - View Document |