Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:journals/corr/AlurFSS16
AU - Alur, Rajeev
AU - Fisman, Dana
AU - Singh, Rishabh
AU - Solar-Lezama, Armando
TI - Results and Analysis of SyGuS-Comp'15.
BT - Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.
SP - 3
EP - 26
PY - 2015//
DO - 10.4204/EPTCS.202.3
UR - https://doi.org/10.4204/EPTCS.202.3
UR - http://arxiv.org/abs/1602.01170
ER -
