@
Article{seidel1996,
author=
"Seidel, R. and Aragon, C. R.",
title=
"Randomized search trees",
journal=
"Algorithmica",
year=
"1996",
month=
"Oct",
day=
"01",
volume=
"16",
number=
"4",
pages=
"464--497",
issn=
"1432-0541",
doi=
"10.1007/BF01940876",
url=
"https://doi.org/10.1007/BF01940876"
}
@misc{eberl18,
author = {Eberl, Manuel and Haslbeck, Maximilian and Nipkow, Tobias},
title = {Verified Analysis of Random Trees},
year = {
2018 (forthcoming)}
}
¤ Dauer der Verarbeitung: 0.3 Sekunden
¤
*© Formatika GbR, Deutschland
