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
2006
Publication date
(Print):
March
2006
Volume: 19
Issue: 1
Pages: 31-100
Article
DOI: 10.1007/s10990-006-8609-1
SO-VID: 2d58f305-5114-441d-84db-43296c648b29
Copyright © ©
2006