路易斯·凯雷斯;艾蒂安·洛兹 消除空间逻辑中的量词和不确定性以实现并发。 (英语) Zbl 1097.68085号 西奥。计算。科学。 358,编号2-3,293-314(2006)。MSC公司:68问题85 60年第68季度 03B70号 03B25号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{E.Lozes},Theor。计算。科学。358,编号2--3,293--314(2006;Zbl 1097.68085) 全文: 内政部
陈、陶璐;韩婷婷;陆健 半结构化数据的规范和验证。 (英语) Zbl 1097.68072号 武汉大学自然科学学院。 11,第1期,107-112(2006)。MSC公司:60年第68季度 68第05页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等,武汉理工大学。11,第1号,第107-112页(2006年;Zbl 1097.68072) 全文: 内政部