Institution中合并理论的初始与终结语义

微信服务号

微信订阅号

首页 > 过刊浏览>1996年第7卷第6期 >360-363

Institution中合并理论的初始与终结语义
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:本文研究得到国家863高技术研究发展计划基金资助.

INITIAL AND TERMINAL SEMANTICS FOR GLUED THEORIES IN INSTITUTIONS

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初始（终结）语义之间的对应关系．

Abstract:

In this paper, the correspondence among initial(terminal) semantics of gluedtheories and factor theories in institutions is clarified under certain intuitive conditions.

参考文献

相似文献

引证文献

引用本文

应明生. Institution中合并理论的初始与终结语义.软件学报,1996,7(6):360-363

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:
最后修改日期:1995-03-30
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码