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
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC


Related search