A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting
Alessandro Armando, Clemens BallarinVolume:
39
Year:
2005
Language:
english
Pages:
19
DOI:
10.1016/j.jsc.2004.12.010
File:
PDF, 253 KB
english, 2005