%0 Conference Paper %1 Demri1998 %A Demri, Stéphane %A Konikowska, Beata %B JELIA %D 1998 %K %P 279-293 %T Relative Similarity Logics are Decidable: Reduction to FO$^2$ with Equality

@inproceedings{Demri1998, added-at = {2012-07-01T20:27:33.000+0200}, author = {Demri, St{\'e}phane and Konikowska, Beata}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2a2542646f3d1dedff750406b6ae0bd71/ralenda}, booktitle = {JELIA}, crossref = {JELIA1998}, ee = {http://dx.doi.org/10.1007/3-540-49545-2_19}, groups = {public}, interhash = {5cc8034aa1050d6e4fcb9fd74368629d}, intrahash = {a2542646f3d1dedff750406b6ae0bd71}, keywords = {}, pages = {279-293}, timestamp = {2012-07-01T20:27:33.000+0200}, title = {Relative Similarity Logics are Decidable: Reduction to FO$^{\mbox{2}}$ with Equality}, username = {ralenda}, year = 1998 }