...
机译:具有至少一个全局不等式约束的树自动机的空性问题是NP-hard
Univ Bourgogne Franche Comte, CNRS, FEMTO ST, Besancon, France;
INRIA, LIFL, Le Chesnay, France;
Univ Bourgogne Franche Comte, CNRS, FEMTO ST, Besancon, France;
Formal languages; Tree automata; Algorithms;
机译:具有全局反身不等式约束的树自动机的空性和有限性
机译:树自动机混合局部和全局约束模平面理论的可判定类
机译:具有全局约束的树型自动机
机译:具有全局限制的树自动机的空虚问题
机译:椭球全局约束传播的形式分析及其在选择性树育种中的应用
机译:全球化与健康:探索全球化带来的健康机遇与制约因素
机译:具有至少一个不等式约束的树自动机的空性问题是NP-hard