Proof Mining in R-trees and Hyperbolic Spaces
Laurenţiu Leuştean
Electronic Notes in Theoretical Computer Science, 165(C), 95–106 (2006) .
2006
Full text: http://dx.doi.org/10.1016/j.entcs.2006.05.039
Notice: Undefined index: publicationsCaching in /www/html/epistemio/application/controllers/PublicationController.php on line 2240
Share comment