TY  - RPRT
TI  - Proof mining in ${\mathbb R}$-trees and hyperbolic spaces
AU  - Laurentiu Leustean
PY  - 2008
UR  - https://arxiv.org/abs/0801.1731
ID  - 0801.1731
ER  -