Straight-Line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows
Theory of Computing Systems - United States
doi 10.1007/s00224-010-9272-9
Full Text
Open PDFAbstract
Available in full text
Date
May 27, 2010
Authors
Publisher
Springer Science and Business Media LLC