Book Chapter

TURING MACHINES TO WORD PROBLEMS

Charles F Miller

TURING'S LEGACY: DEVELOPMENTS FROM TURING'S IDEAS IN LOGIC | CAMBRIDGE UNIV PRESS | Published : 2014