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  »
JournalElectronic Notes in Theoretical Computer Science
Volume165
Page(s)95-106
Year2006
Notein 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 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!