Axiomatization of a functional logic language (Q5096190)

From MaRDI portal
scientific article; zbMATH DE number 7571971
Language Label Description Also known as
English
Axiomatization of a functional logic language
scientific article; zbMATH DE number 7571971

    Statements