机译:构造以树自动机表示的无限模型
CNRS, LIG, Batiment IMAG C - 220, rue de la Chimie, 38400 Saint Martin d'Heres, France;
model building; tree automata; infinite models;
机译:有限色图上的无限游戏及其在无限树上自动机的应用
机译:无限树上自动机中的随机化(vol 15,pg 3,2011)
机译:无限树上自动机中的随机化
机译:兄弟姐妹之间具有等式和不等式约束的无限树上的自动机
机译:利用自动机理论和元胞自动机探索企业建模和领导力。
机译:树形结构无限稀疏因子模型
机译:有限色图上的无限游戏及其在无限树上自动机的应用