![Model theory / Logic in computer science / Constraint programming / Predicate logic / Semantics / Satisfiability Modulo Theories / Quantifier elimination / First-order logic / Function / Logic / Mathematical logic / Mathematics Model theory / Logic in computer science / Constraint programming / Predicate logic / Semantics / Satisfiability Modulo Theories / Quantifier elimination / First-order logic / Function / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/fd24764582e1fa574dbd879389981b2e.jpg) Date: 2011-11-29 17:36:57Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics | | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter?Add to Reading ListSource URL: lara.epfl.chDownload Document from Source Website File Size: 575,15 KBShare Document on Facebook
|