Login / Signup

Proof Mining in R-trees and Hyperbolic Spaces.

Laurentiu Leustean
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases