scientific article; zbMATH DE number 3859101

MaRDI QIDQ3328528zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

non-deterministic computationnon-deterministic Turing machinelogico- arithmetic equation

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Recommendations

• scientific article; zbMATH DE number 3904571
• Propositional representation of arithmetic proofs (preliminary version)
• On non-determinism in machines and languages
• scientific article; zbMATH DE number 3860383
• scientific article; zbMATH DE number 2084366

Cited in

(4)

• scientific article; zbMATH DE number 5252383 (Why is no real title available?)
• scientific article; zbMATH DE number 3903964 (Why is no real title available?)
• scientific article; zbMATH DE number 3904571 (Why is no real title available?)
• Nondeterministic polynomial-time computations and models of arithmetic

This page was built for publication:

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