Hossein Hojjat, Philipp Rümmer. Deciding and Interpolating Algebraic Data Types by Reduction. In Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt, editors, 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017. pages 145-152, IEEE Computer Society, 2017. [doi]
@inproceedings{HojjatR17,
title = {Deciding and Interpolating Algebraic Data Types by Reduction},
author = {Hossein Hojjat and Philipp Rümmer},
year = {2017},
doi = {10.1109/SYNASC.2017.00033},
url = {https://doi.org/10.1109/SYNASC.2017.00033},
researchr = {https://researchr.org/publication/HojjatR17},
cites = {0},
citedby = {0},
pages = {145-152},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017},
editor = {Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela Zaharie and Tetsuo Ida and Stephen M. Watt},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-2626-9},
}