Overview Tree Index
Bibliography
PREV  NEXT FRAMES  NO FRAME

## [Leu06b]  Proof mining in $R$-trees and hyperbolic spaces

 Leu:06a (Article) Author(s) Leuştean, Laurenţiu Title « Proof mining in $R$-trees and hyperbolic spaces  » Journal Electronic Notes in Theoretical Computer Science Volume 165 Page(s) 95-106 Year 2006 Note in Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006), Stanford, CA, USA, July 18-21, 2006

 BibTeX code ``````@article{Leu:06a, pages = {95-106}, year = 2006, journal = {Electronic Notes in Theoretical Computer Science}, title = {Proof mining in \$R\$-trees and hyperbolic spaces }, volume = 165, author = {Leu\c stean, Lauren\c tiu}, note = {in Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC'2006), Stanford, CA, USA, July 18-21, 2006}, }``````

 Overview Tree Index
Bibliography
PREV  NEXT FRAMES  NO FRAME

This document was generated by bib2html 6.7.