Tag Systems and Lag Systemsby Hao Wang;Universality of Tag Systems with D = 2by John Cocke; Marvin Minsky;The Solvability of the Derivability Problem for One-Normal Systemsby Stephen A. Cook
Review by: Ann YasuharaVolume:
36
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270314
Date:
June, 1971
File:
PDF, 224 KB
english, 1971