Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows

Author: Bergstra Jan  

Publisher: Springer Publishing Company

ISSN: 1432-4350

Source: Theory of Computing Systems, Vol.48, Iss.4, 2011-05, pp. : 840-864

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract