机译:自由有限半符号的符号动力学(代数系统,形式语言以及常规和非常规计算理论)
机译:关于一般符号动力系统和beta移位语言的计算复杂性
机译:有限半群表示法,半群自由基和形式语言理论
机译:有限半群,变体,展开和相对自由的有限半群的结构
机译:使用代数几何和符号计算形式对算术数据路径进行形式验证
机译:有限代数的表示论:与范畴论,代数拓扑和紧群的相互作用。
机译:关于符号和非符号计算之间关系的动力学系统观点
机译:由三个元素(代数系统,形式语言以及常规和非常规计算理论)生成的非对称数值半群的推广