Partial evaluation and residual theorems in computer algebra Conferences

Overview
Additional Document Info
View All

authors

Kucera, M
Carette, Jacques

status

published

publication date

January 1, 2006

published in

Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 Journal