另请参阅
自动定理证明器,
分支图,
分支空间,
因果不变性,
汇合,
多重计算范式,
多向图,
归约系统,
顺序替换系统,
替换系统,
项重写系统
此条目由 Todd Rowland 贡献
使用 Wolfram|Alpha 探索
参考文献
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/.在 Wolfram|Alpha 上被引用
多向系统
以此引用
Rowland, Todd. "多向系统。" 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/MultiwaySystem.html
主题分类