Automata; Tools; Analytical models; Binary trees; Boolean algebra; Gold; XML;
机译:具有至少一个全局不等式约束的树自动机的空性问题是NP-hard
机译:具有全局反身不等式约束的树自动机的空性和有限性
机译:树自动机,(Dis-)等式约束和术语重写:新功能?
机译:兄弟姐妹之间具有等式和不等式约束的无限树上的自动机
机译:男性兄弟姐妹对尼日利亚妇女和性别平等的影响:一种现象学研究研究
机译:在案例家庭中患有疾病的兄弟姐妹和父母后代风险的必要和充分条件
机译:具有同级同等和不等式的未排序树自动机