Skip to content

Automated Coercion for Axiom.

Nicolas J. Doye

VenueBISSAC
Year1999
ProceedingsISSAC

Browse the full ISSAC paper archive.