The Solvability of the Derivability Problem for One-Normal Systems

DOI10.1145/321328.321333zbMath0207.31204OpenAlexW2007372548MaRDI QIDQ5608015

Stephen A. Cook

Publication date: 1966

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321328.321333

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03)

Related Items

Complexity of computation in finite fields, Iterative refinement for linear systems in variable-precision arithmetic, Fast multiplication of large numbers, Context free normal systems and ETOL systems

Cites Work

• Tag systems and lag systems
• Universality of Tag Systems with P = 2
• Formal Reductions of the General Combinatorial Decision Problem