%0 Journal Article %1 journals/tocl/KutzWSSZ03 %A Kutz, Oliver %A Wolter, Frank %A Sturm, Holger %A Suzuki, Nobu-Yuki %A Zakharyaschev, Michael %D 2003 %J ACM Trans. Comput. Log. %K %N 2 %P 260-294 %T Logics of metric spaces. %U http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#KutzWSSZ03 %V 4

@article{journals/tocl/KutzWSSZ03, added-at = {2023-12-12T17:35:39.000+0100}, author = {Kutz, Oliver and Wolter, Frank and Sturm, Holger and Suzuki, Nobu-Yuki and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2cf66150f5b809c80090c5e782733eeeb/admin}, ee = {https://doi.org/10.1145/635499.635504}, interhash = {05f239f0dee506326984de4e0f0ef518}, intrahash = {cf66150f5b809c80090c5e782733eeeb}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 2, pages = {260-294}, timestamp = {2023-12-12T17:35:39.000+0100}, title = {Logics of metric spaces.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#KutzWSSZ03}, volume = 4, year = 2003 }