退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在$$ omega $$ω上确定单子二阶逻辑-专用有限自动机的单词
Stephan Barth;
机译:单分区逻辑和有限自动机
机译:关于单子谓词所扩展的自然的单子阶逻辑的可判定性
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:通过专门的有限自动机确定ω-字的一阶二阶逻辑
机译:强连通自动和单代数的自同构群和商
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:基于量子逻辑和MONADIC二阶量子逻辑的有限自动机
机译:有限树自动机和欧米茄自动机
机译:使用有限自动机对部分单词进行搜索的装置
机译:扩展有限状态自动机以及使用扩展有限状态自动机识别数据流中模式的系统和方法
机译:扩展有限状态自动机以及使用扩展有限状态自动机识别模式的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。