另請參閱
自動定理證明器,
分支圖,
分支空間,
因果不變性,
匯合,
多重計算正規化,
多向圖,
歸約系統,
順序替換系統,
替換系統,
項重寫系統
此條目由 Todd Rowland 貢獻
使用 探索
參考文獻
Gorard, J.; Wolfram, S.; and Piskunov, M. "MultiwaySystem." https://resources.wolframcloud.com/FunctionRepository/resources/MultiwaySystem.Wolfram, S. 一種新科學。 Champaign, IL: Wolfram Media, pp. 204-209 and 937-939, 2002.Wolfram, S. "Multicomputation with Numbers: The Case of Simple Multiway Systems." 2021 年 11 月 9 日。 https://arxiv.org/abs/2111.04895.Wolfram, S. "Expression Evaluation and Fundamental Physics." 2023 年 9 月 29 日。 https://writings.stephenwolfram.com/2023/09/expression-evaluation-and-fundamental-physics/.在 上被引用
多向系統
以此引用
Rowland, Todd. "多向系統。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/MultiwaySystem.html
主題分類