迈克尔·本尼迪克特;皮埃尔·布赫斯;砰,迈克尔·范登 可判定不动点逻辑中的可定义性和插值。 (英语) Zbl 1509.03088号 日志。计算方法。科学。 15,第3号,第29号论文,53页(2019年).MSC公司:03B70号 03B45号 03年2月25日 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,日志。计算方法。科学。15,第3号,第29号论文,第53页(2019年;Zbl 1509.03088) 全文: arXiv公司
安托万·阿马里利;皮埃尔·布赫斯;米卡·莫内;皮埃尔·塞内拉特 通过树自动机和循环来评估数据日志。 (英语) Zbl 1430.68078号 理论计算。系统。 63,第7期,1620-1678(2019).MSC公司:第68页第15页 68年第27季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}等人,理论计算。系统。63,第7号,1620--1678(2019;Zbl 1430.68078) 全文: 内政部 arXiv公司
西基、广岛 扩展用于分支时间模型检查的协同逻辑程序。 (英语) Zbl 1453.68034号 Gupta,Gopal(编辑)等,基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修改选定的论文。查姆:施普林格。莱克特。注释计算。科学。8901, 127-144 (2014).MSC公司:68N17号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seki},莱克特。注释计算。科学。8901127--144(2014;Zbl 1453.68034) 全文: 内政部
汤姆·J·阿梅罗特。;Van den Bussche,简 积极的Dedalus计划容忍非因果关系。 (英语) Zbl 1311.68048号 J.计算。系统。科学。 80,第7期,1191-1213(2014).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Ameroot}和\textit{J.Van den Bussche},J.Compute。系统。科学。80,第7号,1191--1213(2014;Zbl 1311.68048) 全文: 内政部
奥利维·高文;约阿希姆·尼伦;苏菲·蒂森 对具有有限延迟和并发性的XML流的查询。 (英语) Zbl 1221.68082号 Inf.计算。 209,第3期,409-442(2011).MSC公司:第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Gauwin}等人,《信息计算》。209,第3号,409--442(2011;Zbl 1221.68082) 全文: 内政部 链接
杰罗姆香槟;雷米吉隆;奥雷连·勒梅;约阿希姆·尼伦 确定性树自动机和XML模式的有效包含检查。 (英语) Zbl 1191.68377号 Inf.计算。 207,第11期,1181-1208(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Champavère}等人,《信息计算》。207,第11号,1181--1208(2009;Zbl 1191.68377) 全文: 内政部
乔治·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 强盗、元帅和守卫:超树宽度的博弈论和逻辑特征。 (英语) Zbl 1054.68044号 J.计算。系统。科学。 66,第4期,775-808(2003).MSC公司:第68页第15页 05C75号 68兰特 03B70号 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,《计算杂志》。系统。科学。66,第4号,775--808(2003;Zbl 1054.68044) 全文: 内政部
埃里希·格拉德尔 守恒不动点逻辑和可数树的一元理论。 (英语) Zbl 1061.03022号 西奥。计算。科学。 288,第1期,129-152(2002).MSC公司:03年2月25日 03B45号 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{E.Grädel},Theor。计算。科学。288,第1号,129--152(2002;Zbl 1061.03022) 全文: 内政部