无穷数据相关硕士博士期刊学术论文 - 搜论网

无穷数据相关论文

面向无穷数据的形式模型综述

无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计......

期刊

无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性 infinite data automata logic nonemptiness lan

看过本文同时还关注