Closure Theorem of the Theory and Model in Institution

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

更新时间：2026-05-27

- Closure Theorem of the Theory and Model in Institution
- Vol. 15, Issue 1, Pages: 83-86(1998)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Online First：06 March 1998，
  
  Published：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)

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Robust Design for Artificial Noise-assisted UAV Terahertz Secure Communication

Modeling of 3D NAND Memory Cells with Taper Angle and Programming Strategy Optimization

Efficient Temporal Modeling for RGB-T Tracking

Energy Management Strategy of Hybrid Locomotive Based on Road Condition Parameters

Multi-Scale Contrastive Embedding Enhanced Adaptive Intrusion Detection Model

Related Author

No data

Related Institution

No data

AI问答

⁰