Buscar
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 bounds from large classes of proofs of theorems that involve abstract metric structures X. In this ...