| Original language | English |
|---|---|
| Publication status | Published - 2015 |
| MoE publication type | D4 Published development or research report or study |
Publication series
| Name | arXiv |
|---|
What's Decidable about Syntax-Guided Synthesis?
Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis
Research output: Working paper › Professional