axiomatization; coercion; coinduction; computational interpretation; containment; equivalence; regular expression; type;
机译:正则表达式包含:共归公理化和计算解释
机译:正则表达式的双仿真方程式公理化
机译:近似数值表达式的解释:计算模型和实证研究
机译:正则表达式包含:归纳公理化和计算解释
机译:作为环境传感器的G-四链体的分析:新型统计模型和计算算法可以解释盐胁迫条件下玉米的复杂基因表达模式
机译:用于发现和解释表达数量性状基因座的计算工具
机译:非确定性正则表达式的有限公理化
机译:具有指定输入正则表达式的顺序机器的输出正则表达式的生成