Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845)

From MaRDI portal
scientific article; zbMATH DE number 7788994
Language Label Description Also known as
English
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
scientific article; zbMATH DE number 7788994

    Statements

    Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (English)
    0 references
    0 references
    16 January 2024
    0 references
    constructive mathematics
    0 references
    computability theory
    0 references
    undecidability
    0 references
    semi-unification
    0 references
    mechanization
    0 references
    Coq
    0 references

    Identifiers