[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Deciding and Interpolating Algebraic Data Types by Reduction
Hojjat, Hossein, Rummer, PhilippYear:
2017
Language:
english
DOI:
10.1109/SYNASC.2017.00033
File:
PDF, 35 KB
english, 2017