On deterministic normal systems
From MaRDI portal
Publication:5663843
DOI10.1002/MALQ.19690150401zbMath0251.02038OpenAlexW2142238810MaRDI 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
Word problems, etc. in computability and recursion theory (03D40) Other degrees and reducibilities in computability and recursion theory (03D30) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03)
Related Items (2)
The many-one equivalence of some general combinatorial decision problems ⋮ Decision problems for tag systems
This page was built for publication: On deterministic normal systems