Structural types for systems of equations
Capper, John, Nilsson, HenrikVolume:
25
Language:
english
Journal:
Higher-Order and Symbolic Computation
DOI:
10.1007/s10990-013-9099-6
Date:
December, 2012
File:
PDF, 1.01 MB
english, 2012