ORDMET: a general algorithm for constructing all numerical solutions to ordered metric structures (Q1222929)

From MaRDI portal





scientific article; zbMATH DE number 3500912
Language Label Description Also known as
English
ORDMET: a general algorithm for constructing all numerical solutions to ordered metric structures
scientific article; zbMATH DE number 3500912

    Statements

    Identifiers

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