包含模态μ片段的一类分布式自动机
原文中文，约700字，阅读约需2分钟。
📝
内容提要
本文探讨了将分级模态μ演算的μ片段转化为分布式消息传递自动机的方法，填补了研究空白。研究表明，递归图神经网络在逻辑单依赖第二阶逻辑MSO下具有相同的表达能力，为图神经网络与逻辑表达能力的关系提供了新视角。
🏷️
