ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (Q5037519)

From MaRDI portal
scientific article; zbMATH DE number 7482180
Language Label Description Also known as
English
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
scientific article; zbMATH DE number 7482180

    Statements

    ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (English)
    0 references
    1 March 2022
    0 references
    interactive theorem proving
    0 references
    Isabelle
    0 references
    Ackermann's function
    0 references
    termination
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references