Citations refer to the original publication, not to a Scieee localized version.
Kohlenbach, U. W., & Nicolae, A. (2017). A proof-theoretic bound extraction theorem for CAT(κ)-spaces. Springer. https://doi.org/10.1007/s11225-016-9702-z
Kohlenbach, Ulrich Wilhelm, and Adriana Nicolae. A proof-theoretic bound extraction theorem for CAT(κ)-spaces. Springer, 2017. https://doi.org/10.1007/s11225-016-9702-z.
Kohlenbach, Ulrich Wilhelm, and Adriana Nicolae. A proof-theoretic bound extraction theorem for CAT(κ)-spaces. Springer, 2017. https://doi.org/10.1007/s11225-016-9702-z.
Kohlenbach, U. W. and Nicolae, A. (2017) A proof-theoretic bound extraction theorem for CAT(κ)-spaces. Springer. Available at: https://doi.org/10.1007/s11225-016-9702-z.
U. W. Kohlenbach and A. Nicolae, “A proof-theoretic bound extraction theorem for CAT(κ)-spaces,” Springer, 2017, doi: 10.1007/s11225-016-9702-z.
@misc{kohlenbach2017prooftheoretic,
author = {Kohlenbach, Ulrich Wilhelm and Nicolae, Adriana},
title = {A proof-theoretic bound extraction theorem for CAT(κ)-spaces},
year = {2017},
publisher = {Springer},
doi = {10.1007/s11225-016-9702-z},
url = {https://doi.org/10.1007/s11225-016-9702-z}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
