IRIS公司

在本文中，我们探讨了一个后继MSO的一元二阶理论[<]短）和时间的欧米伽层结构理论粒度。我们首先证明MSO[<]和适用于向上的一阶理论无界层状结构是互约的。然后，我们表明，对于完全无界分层结构的MSO理论的适当链变体，类似的结果也成立（这使我们能够解决Franceschet等人[FRA 06]留下的关于时间粒度理论的决策问题）。

时间粒度理论与后继一元二阶理论的关系

安吉洛·蒙塔纳里；加布里埃尔·小狗
2006-01-01

摘要

在本文中，我们探讨了一个后继MSO的一元二阶理论[<]短）和时间的欧米伽层结构理论粒度。我们首先证明MSO[<]和适用于向上的一阶理论无界层状结构是互约的。然后，我们证明了类似的结果适用于完全无界分层结构的MSO理论的适当链变体（这使我们能够解决Franceschet等人开放的关于时间粒度理论的决策问题。[FRA 06]）。
2006
1.1里维斯塔的Articolo
questo prodotto中的文件：
文件 Dimensione公司 福尔马托  
2006年1月.pdf

附纸

蒂波洛吉亚：预打印文档
利琴察：创作共用
Dimensione公司234.91千字节
福尔马托Adobe PDF格式
Visualiza/Apri公司
234.91千字节 Adobe PDF格式 Visualiza/Apri公司

我在IRIS sono protetti da中记录了版权所有e tutti I diritti sono riservati，salvo diversa indicazione。

利用za questo identificationvo per citare或creare un link a questo documento：https://hdl.handle.net/11390/689618
阿滕佐因

阿滕齐翁！我已经可视化了zati non-sono stati sottoposti a validazione da parte dell’ateneo

西塔奇奥尼
  • ???jsp.display-item.cibitation.pmc？？？ ND（无损检测）
  • Scopus公司 1
  • ???jsp.display-item.cibitation.isi？？？ ND（无损检测）
社会影响