Journal of Automated Reasoning. 2014;53(2):129-139. doi: 10.1007/s10817-013-9300-y Q40.72025

Proof Pearl: The KeY to Correct and Stable Sorting

证明之珠：正确且稳定的排序的钥匙

DOI: 10.1007/s10817-013-9300-y

摘要 查看摘要

Copyright © Journal of Automated Reasoning. 中文内容为AI机器翻译，仅供参考！