Multiplication and division of polynomials

M. Rem

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationFormal development of programs and proofs
EditorsE.W. Dijkstra
Place of PublicationReading MA
PublisherAddison-Wesley
Pages159-169
ISBN (Print)0-201-17237-2
Publication statusPublished - 1990

Cite this