Theory and practice of minimal modular higher-order E-unification (Q5210803)

From MaRDI portal
scientific article; zbMATH DE number 7154580
Language Label Description Also known as
English
Theory and practice of minimal modular higher-order E-unification
scientific article; zbMATH DE number 7154580

    Statements