![Predicate logic / Theoretical computer science / Formal methods / NP-complete problems / First-order logic / Satisfiability Modulo Theories / Expression / Type system / Function / Mathematics / Logic / Mathematical logic Predicate logic / Theoretical computer science / Formal methods / NP-complete problems / First-order logic / Satisfiability Modulo Theories / Expression / Type system / Function / Mathematics / Logic / Mathematical logic](https://www.pdfsearch.io/img/e1be6722d39db7df3aacaedc8123bdcf.jpg) Date: 2015-01-10 00:32:21Predicate logic Theoretical computer science Formal methods NP-complete problems First-order logic Satisfiability Modulo Theories Expression Type system Function Mathematics Logic Mathematical logic | | Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , ShamwadiAdd to Reading ListSource URL: sygus.seas.upenn.eduDownload Document from Source Website File Size: 2,61 MBShare Document on Facebook
|