The Solvability of the Derivability Problem for One-Normal Systems

DOI10.1145/321328.321333MaRDI QIDQ5608015zbMATH OpenOpenAlexFDO

Authors Stephen 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)

Cites work

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

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5608015)