Jan A. Bergstra, C. A. Middelburg. On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions. Fundamenta Informaticae, 138(4):411-434, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.