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 |
Journal of Memory and Language 40, 409 – Article ID jmla, available online at http://www.idealibrary.com on Argumenthood and English Prepositional Phrase Attachment Carson T. Schu¨tze Department oDocID: 1rtFJ - View Document | |
HeadLex16 24–29 July 2016, Warsaw, Poland Fully syntactic, fully lexical, or in-between? Remarks on the architectures of generative grammarsDocID: 1rpsJ - View Document | |
Open Information Extraction via Contextual Sentence Decomposition 1 Hannah Bast, Elmar Haussmann Department of Computer ScienceDocID: 1raez - View Document | |
Squibs and Discussion ARE TURKISH PREVERBAL BARE NOUNS SYNTACTICDocID: 1r2Ev - View Document | |
Corpus Linguistics Syntactic Searching Motivation for syntax Corpus LinguisticsDocID: 1q7vJ - View Document |