Back to Results
First PageMeta Content
Model theory / Logic in computer science / Predicate logic / Semantics / NP-complete problems / Satisfiability Modulo Theories / Function / First-order logic / Quantifier elimination / Mathematics / Mathematical logic / Logic


Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac
Add to Reading List

Document Date: 2010-04-01 07:52:40

Open Document

File Size: 256,88 KB

Share Result on Facebook
UPDATE