On deterministic normal systems

DOI10.1002/malq.19690150401zbMath0251.02038MaRDI QIDQ5663843

W. E. Singletary, P. Axt

Publication date: 1969

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19690150401

Mathematics Subject Classification ID

03D40: Word problems, etc. in computability and recursion theory

03D30: Other degrees and reducibilities in computability and recursion theory

03D10: Turing machines and related notions

03D03: Thue and Post systems, etc.

Related Items

The many-one equivalence of some general combinatorial decision problems, Decision problems for tag systems