Title:
Higher-Order and Symbolic Computation
Abbreviated Title:
Higher-Order Symb Comput
Publisher:
Springer Nature
ISSN
(Print):
1388-3690
ISSN
(Electronic):
1573-0557
Publication date Created:
March
2012
Publication date
(Electronic):
September
20 2013
Publication date
(Print):
March
2012
Volume: 25
Issue: 1
Pages: 165-207
Article
DOI: 10.1007/s10990-013-9096-9
SO-VID: 65c2d4f5-fcdd-42cb-9559-d8f3238a3a81
Copyright © ©
2012