%0 Journal Article %1 Kutz2003 %A Kutz, Oliver %A Wolter, Frank %A Sturm, Holger %A Suzuki, Nobu-Yuki %A Zakharyaschev, Michael %C New York, NY, USA %D 2003 %I ACM %J ACM Transactions on Computational Logic %K Decidability expressive completeness metric spaces spatial reasoning %N 2 %P 260--294 %R 10.1145/635499.635504 %T Logics of metric spaces %U http://doi.acm.org/10.1145/635499.635504 %V 4

@article{Kutz2003, acmid = {635504}, added-at = {2012-07-01T21:43:05.000+0200}, address = {New York, NY, USA}, author = {Kutz, Oliver and Wolter, Frank and Sturm, Holger and Suzuki, Nobu-Yuki and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2e382daf05478910129aee09627c1d55f/ralenda}, doi = {10.1145/635499.635504}, file = {Kutz2003_LogicsofMetricSpaces.pdf:DistanceLogics/Kutz2003_LogicsofMetricSpaces.pdf:PDF}, groups = {public}, interhash = {05f239f0dee506326984de4e0f0ef518}, intrahash = {e382daf05478910129aee09627c1d55f}, issn = {1529-3785}, issue_date = {April 2003}, journal = {ACM Transactions on Computational Logic}, keywords = {Decidability expressive completeness metric spaces spatial reasoning}, month = {#apr#}, number = 2, numpages = {35}, pages = {260--294}, publisher = {ACM}, timestamp = {2012-07-01T21:43:05.000+0200}, title = {Logics of metric spaces}, url = {http://doi.acm.org/10.1145/635499.635504}, username = {ralenda}, volume = 4, year = 2003 }