Partial evaluation of the Euclidean algorithm, revisited
From MaRDI portal
Publication:1125576
DOI10.1023/A:1010004307057zbMath0952.68157OpenAlexW1774191724MaRDI QIDQ1125576
Publication date: 6 December 1999
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1010004307057
Uses Software
This page was built for publication: Partial evaluation of the Euclidean algorithm, revisited