Institution 中理论与模型的闭包定理

欢迎来到能源电力期刊网！

English Version 期刊登录

您当前的位置：

首页 >

文章列表页 >

Institution 中理论与模型的闭包定理

综合研究 | 更新时间：2026-05-27

- Institution 中理论与模型的闭包定理
- Closure Theorem of the Theory and Model in Institution
- 广东工业大学学报 1998年15卷第1期页码：83-86
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 网络首发：1998-03-06，
  
  纸质出版：1998
- 稿件说明：
移动端阅览
刘富春. Institution 中理论与模型的闭包定理[J]. 广东工业大学学报, 1998, 15(1): 83-86.

Liu Fuchun. Closure Theorem of the Theory and Model in Institution[J]. 1998, 15(1): 83-86.
刘富春. Institution 中理论与模型的闭包定理[J]. 广东工业大学学报, 1998, 15(1): 83-86. DOI：

Liu Fuchun. Closure Theorem of the Theory and Model in Institution[J]. 1998, 15(1): 83-86. DOI：

在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中，研究了理论与模型的一些性质，特别是得到了理论的闭包定理和与之相应的模型的闭包定理．

刘富春. Liberal理论态射的一些性质[J]. 江西师范大学学报(自然科学版). 1997(01)

应明生. Institution中合并理论的初始与终结语义[J]. 软件学报. 1996(06)

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

双模态迭代交叉注意力融合集成框架

基于路况参数的混合动力机车能量管理策略研究

多尺度对比嵌入增强的自适应入侵检测模型

储能变流器电能质量治理策略研究

基于AAGV-YOLOX模型的输电线路异物检测研究