×

Found 8 Documents (Results 1–8)

Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces. (English) Zbl 1262.03121

Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 95-106 (2006).
MSC:  03F10 47H10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field