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 (4)

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

This page was built for publication: The Solvability of the Derivability Problem for One-Normal Systems