Proving algorithms by tail functions (Q5639702)

From MaRDI portal
scientific article; zbMATH DE number 3366909
Language Label Description Also known as
English
Proving algorithms by tail functions
scientific article; zbMATH DE number 3366909

    Statements

    Proving algorithms by tail functions (English)
    0 references
    1971
    0 references

    Identifiers