Extra variables can be eliminated from functional logic programs (Q2867956)

From MaRDI portal





scientific article; zbMATH DE number 6241775
Language Label Description Also known as
English
Extra variables can be eliminated from functional logic programs
scientific article; zbMATH DE number 6241775

    Statements

    Identifiers