退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:“ Skolem矩阵空问题”的可判定性需要正则表达式的可构造性
Karpinski Marek;
机译:通过确定性正则表达式确定可定义性
机译:使用正则表达式查询流:一些语义,可判定性和效率问题
机译:扩展正则表达式:简洁性和可判定性
机译:确定PSPACE和多项式层次结构完全问题的规则交点是否为空
机译:空名:有关空名和其他直接引用表达的语义,语用,形而上学和认识论的文章。
机译:扩张型心肌病中的基质重塑需要胎粪中纤连蛋白分子变异的出现。
机译:流程图程序,正则表达式和多项式增长率的可判定性
机译:九状态目标模型精确状态转移矩阵的表达式。
机译:正则表达式生成器,正则表达式生成方法和正则表达式生成程序
机译:文件处理器,文件样式确定方法,分层正态表达确定方法,具有记录文件处理程序的介质,具有记录文件样式确定程序的介质以及具有记录的分层正则表达决策程序的介质
机译:用于检测正规表达式的AHO-Corasick自动机的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。