Type checking; Automata; Derivative; Label; One-unambiguous regular expression;
机译:通过XML类型检查的交织和计数有效地不对称包含正则表达式
机译:通过归约进行类型检查与通过评估进行类型检查之间的对应关系
机译:通过归约进行类型检查与通过评估进行类型检查之间的对应关系
机译:正则表达式类型的子类的有效类型检查
机译:通过良好的键入和类型检查来保护SQL注入。
机译:通过使用Rev和人免疫缺陷病毒的Rev响应元件或猿猴逆转录病毒1型的顺式作用反式激活元件在上皮细胞中高效表达人乳头瘤病毒16型L1蛋白。
机译:通过XML类型检查的交织和计数有效地不对称包含正则表达式
机译:正则表达式和检查实验