机译:公理化规则树语言的方程式理论
Department of Computer Science, University of Szeged, Hungary;
regular tree language; complex algebras; axiomatization;
机译:上下文无关语言方程式的不定式公理化
机译:正则表达式的双仿真方程式公理化
机译:能否通过确定性的树遍历自动机来分隔两种常规树语言是不确定的
机译:公理化规则树语言的等式理论扩展的摘要
机译:计算理论中的三个主题:多分辨率元胞自动机,常规语言的Kolmogorov复杂性表征以及贝叶斯网络中的隐藏变量
机译:时间尺度上的微分方程差分方程和动态方程的定性理论
机译:公理化规则树语言的方程式理论