作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2001, Vol. 27 ›› Issue (09): 21-23.

• 论文 • 上一篇    下一篇

波斯特封闭类与离散谓词系统

窦如静   

  1. 华东计算技术研究所 上海 200233
  • 发布日期:2001-09-25

Post Closed Classes and Discrete Predicative Systems

DOU Ruj, ING   

  1. (East-China Research Institute of Computer Technology ,Shanghai 200233)
  • Published:2001-09-25

摘要: 概述波斯特封闭类与离散谓词系统的研究成果,提出这类研究中的新问题和应用前景。

关键词: 代数系统, 完备性, 封闭类

Abstract: This paper reviews Post closed classes and the achievements in research on the discrete predicative systems, puts forward new questions and and applicable prospects of the research.

中图分类号: