...
机译:刚性树自动机及其应用
INRIA Saclay-Ile-de-France, LSV, ENS Cachan, 61 avenue du President Wilson, 94235 Cachan Cedex, France;
Orange DPS/21A/RSF.FA140, R&D Lannion 2, avenue Pierre Marzin, 22307 Lannion Cedex, France;
LIFL, Univ. Lille I, INRIA Lille - Nord Europe, Parc Scientifique de la Haute Borne, Park Piazza Bat A-40 avenue Halley, 59650 Villeneuve d'Ascq, France;
tree automata symbol constraints term rewriting verification;
机译:树宽,路径宽度和余跨分解及其在图接受树自动机中的应用
机译:有限色图上的无限游戏及其在无限树上自动机的应用
机译:用于多刚体机械系统的混合自动机的自动生成及其在伪造安全特性中的应用
机译:刚性树自动机
机译:中间区域:刚性和非刚性固体的理论,计算和应用。
机译:使用二阶可逆蜂窝自动机设计用于S-Box的加密安全AES用于无线人体局域网应用
机译:刚性树自动机及其应用
机译:树自动机在线性和线性元组语言中的应用