|
69519
|
1 |
@article{dugundji,
|
|
|
2 |
author = {J. Dugundji},
|
|
|
3 |
title = {An extension of {Tietze's} theorem},
|
|
|
4 |
journal = {Pacific J. Math.},
|
|
|
5 |
pages = {353-367},
|
|
|
6 |
volume = 1,
|
|
|
7 |
number = 3,
|
|
|
8 |
year = 1951,
|
|
|
9 |
url = {https://projecteuclid.org/euclid.pjm/1103052106}}
|
|
|
10 |
|
|
70953
|
11 |
@article{DBLP:journals/jar/Maggesi18,
|
|
|
12 |
author = {Marco Maggesi},
|
|
|
13 |
title = {A Formalization of Metric Spaces in {HOL} Light},
|
|
|
14 |
journal = {J. Autom. Reasoning},
|
|
|
15 |
volume = {60},
|
|
|
16 |
number = {2},
|
|
|
17 |
pages = {237--254},
|
|
|
18 |
year = {2018},
|
|
|
19 |
url = {https://doi.org/10.1007/s10817-017-9412-x},
|
|
|
20 |
doi = {10.1007/s10817-017-9412-x},
|
|
|
21 |
timestamp = {Thu, 25 Jan 2018 11:13:11 +0100},
|
|
|
22 |
biburl = {https://dblp.org/rec/bib/journals/jar/Maggesi18},
|
|
|
23 |
bibsource = {dblp computer science bibliography, https://dblp.org}
|
|
|
24 |
}
|
|
|
25 |
|
|
69519
|
26 |
@misc{dummy}
|