[IEEE 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2016.9.24-2016.9.27)] 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Structural vs. Cyclic Induction: A Report on Some Experiments with Coq
Stratulat, SorinYear:
2016
Language:
english
DOI:
10.1109/SYNASC.2016.018
File:
PDF, 247 KB
english, 2016