On deterministic normal systems
From MaRDI portal
Publication:5663843
DOI10.1002/malq.19690150401zbMath0251.02038MaRDI QIDQ5663843
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
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