TU Darmstadt / ULB / TUbiblio

Proof mining in R-trees and hyperbolic spaces

Leustean, Laurentiu :
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
[Artikel], (2006)

Typ des Eintrags: Artikel
Erschienen: 2006
Autor(en): Leustean, Laurentiu
Titel: Proof mining in R-trees and hyperbolic spaces
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: 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
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen