The Digital Librarian's Digital Library
search
D
O
CIS
Do
cuments in
C
omputing and
I
nformation
S
cience
Home
>>
Journals and Conference Proceedings
>>
ACM Transactions on Computer Logic
Logics of metric spaces
Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
Journal Title: ACM Transactions on Computer Logic
Date: 2003
Volume: 4
Issue: 2
p. 260 - 294
We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:
http://www.csc.liv.ac.uk/~frank/publ/logicsofmetrics.ps
http://www.csc.liv.ac.uk/~oliver/metric-full.pdf
http://www.csc.liv.ac.uk/~oliver/metric_tocl.pdf
http://www.informatik.uni-leipzig.de/~wolter/logicsofmetrics.ps
For further information about this item go to:
http://doi.acm.org/10.1145/635499.635504
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12