| 单词 | Kruskal's Tree Theorem |
| 释义 | Kruskal's Tree TheoremA theorem which plays a fundamental role in computer science because it is one of the main tools for showing that certainorderings on Trees are well-founded. These orderings play a crucial role in proving the termination ofrewriting rules and the correctness of the Knuth-Bendix equational completion procedures. See also Kruskal's Algorithm, Natural Independence Phenomenon, Tree
Gallier, J. ``What's so Special about Kruskal's Theorem and the Ordinal Gamma[0]? A Survey of Some Results in Proof Theory.'' Ann. Pure and Appl. Logic 53, 199-260, 1991. |
| 随便看 |
|
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。