王景梅
作品数： 2被引量：0H指数：0
  • 所属机构:商丘师范学院数学与信息科学学院
  • 所在地区:河南省 商丘市
  • 研究方向:理学
  • 发文基金:河南省基础与前沿技术研究计划项目

相关作者

梁常建
作品数：16被引量：13H指数：2
供职机构：陕西师范大学数学与信息科学学院
研究主题：截集 代数性质 计算树逻辑 规约 线性时序逻辑
作品列表