ListarArtículos (Análisis Matemático) por materia "CAT(κ)-spaces"
Mostrando ítems 1-1 de 1
-
Artículo
A proof-theoretic bound extraction theorem for CAT(κ)-spaces
(Springer, 2017-06)Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective ...