TU Darmstadt / ULB / TUbiblio

Proof mining in R-trees and hyperbolic spaces

Leustean, Laurentiu (2006):
Proof mining in R-trees and hyperbolic spaces.
In: G. Mints and R. de Queiroz (Editors), Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), Stanford University, CA, USA, 18-21 July 2006. (Electronic Notes in Theoretical Computer Science ; 165).- 2006, S. 95-106, [Article]

Item Type: Article
Erschienen: 2006
Creators: Leustean, Laurentiu
Title: Proof mining in R-trees and hyperbolic spaces
Language: English
Journal or Publication Title: G. Mints and R. de Queiroz (Editors), Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), Stanford University, CA, USA, 18-21 July 2006. (Electronic Notes in Theoretical Computer Science ; 165).- 2006, S. 95-106
Divisions: 04 Department of Mathematics
Date Deposited: 20 Nov 2008 08:25
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item