On Codes for Checking Logical Operations

W. Wesley Peterson, Michael O. Rabin. On Codes for Checking Logical Operations. IBM Journal of Research and Development, 3(2):163-168, 1959. [doi]

Abstract

Abstract is missing.