Completeness of Combinations of Constructor Systems

Aart Middeldorp, Yoshihito Toyama. Completeness of Combinations of Constructor Systems. Journal of Symbolic Computation, 15(3):331-348, 1993.

Abstract

Abstract is missing.