| no |
title |
type |
| 1 |
Higher-order and symbolic computation, vol. 26
|
volume
|
| 2 |
Higher-order and symbolic computation, vol. 25
|
volume
|
| 3 |
Higher-order and symbolic computation, vol. 24
|
volume
|
| 4 |
Higher-order and symbolic computation, vol. 23
|
volume
|
| 5 |
Higher-order and symbolic computation, vol. 22
|
volume
|
| 6 |
Higher-order and symbolic computation, vol. 21
|
volume
|
| 7 |
Higher-order and symbolic computation, vol. 20
|
volume
|
| 8 |
Higher-order and symbolic computation, vol. 19
|
volume
|
| 9 |
Higher-order and symbolic computation, vol. 18
|
volume
|
| 10 |
Higher-order and symbolic computation, vol. 18
|
volume
|
| 11 |
Higher-order and symbolic computation, vol. 17
|
volume
|
| 12 |
Higher-order and symbolic computation, vol. 17
|
volume
|
| 13 |
Higher-order and symbolic computation, vol. 16
|
volume
|
| 14 |
Higher-order and symbolic computation, vol. 15
|
volume
|
| 15 |
Higher-order and symbolic computation, vol. 14
|
volume
|
| 16 |
Higher-order and symbolic computation, vol. 13
|
volume
|
| 17 |
Higher-order and symbolic computation, vol. 12
|
volume
|
| 18 |
Higher-order and symbolic computation, vol. 11
|
volume
|
Journal description