汉娜·克劳代尔;马西耶·库特尼;段振华;本·莫斯科夫斯基 从盒代数到区间时序逻辑。 (英语) Zbl 1423.68312号 芬丹。通知。 167,第4号,323-354(2019).MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人,Fundam。通知。167,编号4,323--354(2019;Zbl 1423.68312) 全文: 内政部
戈斯塔·格雷内;阿里·莫亚列米 通用(和存在)空值。 (英语) Zbl 1423.68138号 芬丹。通知。 167,第4号,287-321(2019).MSC公司:第68页,共15页 03G15年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Grahne}和\textit{A.Moallemi},Fundam。通知。167,第4号,287--321(2019;Zbl 1423.68138) 全文: 内政部 arXiv公司
阿里·戈拉米·鲁迪 正交轨迹的近似热点。 (英语) Zbl 1423.68554号 芬丹。通知。 167,第4号,271-285(2019).MSC公司:68单位05 68单位35 68周25 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Rudi},芬丹。通知。167,第4号,271--285(2019年;Zbl 1423.68554) 全文: 内政部 arXiv公司
尼古拉·巴热诺夫 可计算接触代数。 (英语) Zbl 1446.03076号 芬丹。通知。 167,第4期,257-269(2019).MSC公司:03D45号 03C57号 03天35分 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov},芬丹。通知。167,第4号,257--269(2019;Zbl 1446.03076) 全文: 内政部