scientific article; zbMATH DE number 3275581

MaRDI QIDQ5559244zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1965

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(4)

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

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)