scientific article; zbMATH DE number 3259053

zbMATH Open0162.02103MaRDI QIDQ5544286FDOQ5544286

Authors: S. Yu. Maslov 

Publication date: 1966

Title of this publication is not available (Why is that?)

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (2)

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

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)