Skip to content

A Type-Coercion Problem in Computer Algebra.

Andreas Weber

Year1992
ProceedingsAISMC

Browse the full AISC paper archive.