Back to Results
First PageMeta Content
Lookup table / Computer programming / Structural synthesis of programs / Mathematics / Computing / Function


Interpolation for Synthesis on Unbounded Domains Viktor Kuncak and R´egis Blanc ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland
Add to Reading List

Document Date: 2013-10-18 09:28:42

Open Document

File Size: 235,21 KB

Share Result on Facebook
UPDATE