Petri nets; Karp-Miller tree algorithm; Coverability; Min-imal coverability set; Clover; Minimal coverability tree.;
机译:DNA多序列比对和进化树构建的最小生成树保存方法
机译:最小确定性有限覆盖自动机的增量构造
机译:最小宽度无序树布局的NP完备性
机译:高效跨越树木避免直线方向障碍的结构
机译:完全最小化表面的两种构造。
机译:柳树:高效记忆的树木和森林建设配套
机译:迈向标记树索引的完整视角:新尺寸界限,高效建筑,及以后
机译:DENDRaL:用于计算机构造,枚举和有机分子符号的系统,如树结构和循环图。第3部分:完整的化学图表;在树中嵌入环