Theoretical Computer Science, Volume 104

Volume 104, Number 1, 1992

Selected Papers on Theoretical Issues of Design and Implementation of Symbolic Computation Systems

Volume 104, Number 2, 1992

a service of Schloss Dagstuhl - Leibniz Center for Informatics