...
机译:具有全局反身不等式约束的树自动机的空性和有限性
Universitat Politecnica de Catalunya, Omega Building, Jordi Girona 1-3, Barcelona 08034, Spain;
Universitat Politecnica de Catalunya, Omega Building, Jordi Girona 1-3, Barcelona 08034, Spain;
Universitat Politecnica de Catalunya, Omega Building, Jordi Girona 1-3, Barcelona 08034, Spain;
Tree automata; Global constraints; Disequality constraints; Decision problems;
机译:具有至少一个全局不等式约束的树自动机的空性问题是NP-hard
机译:树自动机混合局部和全局约束模平面理论的可判定类
机译:具有全局约束的树型自动机
机译:具有全局限制的树自动机的空虚问题
机译:椭球全局约束传播的形式分析及其在选择性树育种中的应用
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:具有至少一个不等式约束的树自动机的空性问题是NP-hard