scientific article; zbMATH DE number 3259053

MaRDI QIDQ5544286zbMATH OpenFDO

Authors S. Yu. Maslov

Publication date 1966

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(2)

• Automatic theorem proving. II
• Program schemata and the first-order decision problem

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 Q5544286)