沃伊切赫·卡扎纳;卢克·塞古芬 枚举树上的一元二阶查询。 (英语) Zbl 1353.68068号 ACM事务处理。计算。日志。 第14号第4条第25条第12页(2013年).MSC公司:第68页,共15页 03B15号机组 03B70号 65年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{W.Kazana}和\textit{L.Segoufin},ACM翻译。计算。日志。14,第4号,第25条,第12页(2013;Zbl 1353.68068) 全文: 内政部 哈尔
Mikołaj博扬奇克;克莱尔·大卫;安卡·穆斯科尔;托马斯·施温蒂克;卢克·塞古芬 数据字上的双变量逻辑。 (英语) Zbl 1352.03041号 ACM事务处理。计算。日志。 第12号第4条第27条第26页(2011年).MSC公司:03B70号 03B25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}等人,《美国医学杂志》。计算。日志。12,第4号,第27条,第26页(2011年;Zbl 1352.03041) 全文: 内政部
迈克尔·本尼迪克特;卢克·塞古芬 可在FO和FO\(_{\mathrm{mod}}\)中定义的正则树语言。 (英语) Zbl 1351.68134号 ACM事务处理。计算。日志。 11,第1号,第4条,32页(2009年).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}和\textit{L.Segoufin},ACM Trans。计算。日志。11,第1号,第4条,32页(2009年;Zbl 1351.68134) 全文: 内政部
马丁·格罗;卢克·塞古芬 关于一阶拓扑查询。 (英语) Zbl 1365.68205号 ACM事务处理。计算。日志。 3,第3期,336-358(2002).MSC公司:第68页,共15页 03B10号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{L.Segoufin},ACM翻译。计算。日志。3,第3号,336--358(2002;Zbl 1365.68205) 全文: 内政部 哈尔