"An Existence Lemma for Canonical Forms in Symbolic Mathematics."

Bob F. Caviness, P. L. Pollack, C. M. Rubald (1971)

Details and statistics

DOI: 10.1016/0020-0190(71)90003-2

access: closed

type: Journal Article

metadata version: 2023-08-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics