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 |
|---|---|---|---|
| English | Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces |
scientific article; zbMATH DE number 5798887 |
Statements
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces (English)
0 references
12 October 2010
0 references
