卢卡·法拉利 Dyck代数、区间时间逻辑和区间偏序集。 (英语) Zbl 1528.03135号 SIAM J.离散数学。 1918-1937年第4期30号(2016).MSC公司:03B44号 06A07年 06D20日 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{L.Ferrari},SIAM J.离散数学。1918-1937年第4期30号(2016年;Zbl 1528.03135) 全文: 内政部 arXiv公司
大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 区间时序逻辑的黑暗面:标记不可判定边界。 (英语) Zbl 1325.03014号 安。数学。Artif公司。智力。 71,编号1-3,41-83(2014). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B44号 03天35分 05B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,《数学年鉴》。Artif公司。智力。71、编号1--3、41-83(2014;Zbl 1325.03014) 全文: 内政部