数据日志精简版

此软件的关键字
zbMATH中的参考文献(参考, 1标准件 )
安托万·阿马里利;皮埃尔·波希斯;莫内,米卡·埃尔;塞内拉特,皮埃尔:通过树自动机和循环装置评估数据日志(2019年) Benedikt,Michael;Bouris,Pierre;Boom,Michael Vanden:可判定不动点逻辑中的可定义性和插值(2019) Ameloot,Tom J.;Van den Bussche,一月:积极的Dedalus项目容忍非因果关系(2014) Gauwin,Olivier;Niehren,Joachim;Tison,Sophie:有界延迟和并发的XML流查询(2011) Georg Gottlob;Pichler,Reinhard;Wei,Fang:通过有界树的可处理数据库设计和数据日志诱拐(2010) ioport公司 Champavère,Jérôme;Gilleron,rémi;Lemay,Aurélien;Niehren,Joachim:确定性树自动机和XML模式的有效包含检查(2009) 德克.莱因斯;马克思,马尔滕;泰斯基维茨,杰兹;范登布希,简:《半连接代数与保护碎片》(2005) Nowack,Antje:抽象状态机的保护碎片(2005) Gottlob,Georg;Grädel,Erich;Veith,Helmut:Datalog-LITE:一种带线性时间模型检查的演绎查询语言(2002) Grädel,Erich:Guarded不动点逻辑和可数树的一元理论。 (2002年)