Skip to content

Relative Similarity Logics are Decidable: Reduction to FO

Stphane Demri, Beata Konikowska

VenueBJELIA
Year1998
ProceedingsJELIA

Browse the full JELIA paper archive.