Tableau calculus for the logic of comparative similarity over arbitrary distance spaces (Q4933295)

From MaRDI portal





scientific article; zbMATH DE number 5798887
Language Label Description Also known as
default for all languages
No label defined
    English
    Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
    scientific article; zbMATH DE number 5798887

      Statements

      Identifiers

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