机译:正规的开集几乎等于规则的OMEGA语言(代数系统和计算理论中的算法)
机译:欧米茄常规语言上的词素变形的高效算法
机译:一种检查时间逻辑规范和欧米茄常规语言的闭包特性的算法方法
机译:使用代数的常规语言算法
机译:语言字符串处理中的计算复杂性以及确定性图腾机中接受上下文相关语言,上下文无关语言或常规语言的暂停问题理论
机译:特征零中的局部和de Rham同调的算法计算:D-模理论在代数几何和交换代数中的应用。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:关于常规语言的力量语言的规则性:扩展摘要(代数系统和计算理论中的算法)
机译:在常规(ω)语言上对N种常规(ω)语言和产品进行操作