Symbolic Evaluation with Structural Recursive Symbolic Constants
| Title | Symbolic Evaluation with Structural Recursive Symbolic Constants |
| Publication Type | Journal Article |
| Year of Publication | 1987 |
| Authors | Giannotti, F, Matteucci, A, Pedreschi, D, Turini, F |
| Journal | Sci. Comput. Program. |
| Volume | 9 |
| Issue | 2 |
| Pagination | 161-177 |