机译:传递关闭逻辑,嵌套树遍历自动机和XPath
University of California, Santa Cruz, Department of Computer Science (Database Group), 1156 High Street, MS: SOE3, Santa Cruz, CA 95064;
LSV, ENS de Cachan, 61 avenue du President Wilson, 94235 CACHAN Cedex, France;
transitive closure logic; tree automata; XPath;
机译:带有嵌套小卵石的自动机通过传递闭包捕获一阶逻辑
机译:树上的单子二阶逻辑和传递闭合逻辑
机译:通过分支传递闭包逻辑来表征树木的加权MSO
机译:XPath,传递闭包逻辑和嵌套树遍历自动机
机译:生物医学文献挖掘,具有传递性封闭和最大的网络流量。
机译:并行平铺的Nussinov RNA折叠环巢使用依赖图传递闭合和循环倾斜生成
机译:Xpath,传递闭包逻辑和嵌套树行走自动机
机译:传递闭包与逻辑程序并行执行策略综述