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

Download PDF

University of Melbourne Researchers

Citation metrics

2Web of Science

Keywords

Decision-Problems
Subgroups
Science & Technology
Science & Technology - Other Topics
Recursively Enumerable Degrees
Logic
Finitely Presented Groups
Unsolvability