scientific article; zbMATH DE number 3275581

zbMATH Open0173.01004MaRDI QIDQ5559244FDOQ5559244

Authors: V. P. Orevkov 

Publication date: 1965

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

zbMATH Keywords

recursion theory, constructive mathematics

Cited In (4)

• Logic with equality: Partisan corroboration and shifted pairing
• Simultaneous rigid E-unification is undecidable
• Decidability and complexity of simultaneous rigid E-unification with one variable and related results
• The undecidability of simultaneous rigid E-unification

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