克里斯蒂安·斯特纳格尔 📧
2011年11月9日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9e88c17a723e
法新社/65f70952d452
高效-合并-AFP
@文章{Efficient Mergesort AFP,author={Christian Sternagel},title={高效合并},journal={正式证据存档},月份={十一月},年份={2011},注意={\url{https://isa-afp.org/entries/Efficient-Mergesort.html},形式证明开发},ISSN={2150-914x},}
旧版本: