曼弗雷德·德罗斯特;吕迪格·哥贝尔 通用信息系统。 （英文） Zbl 0723.68066号 发现的国际期刊。计算。科学。 1，编号413-424（1990）. 摘要：在程序设计语言的指称语义理论中[Lect.Notes Compute.Sci.140577-613（1982；Zbl 0495.68025号)]，几位作者证明了特定类型的泛域的存在性。斯科特构建了通用信息系统，然而，这些系统在同构方面并不是唯一的。在这里，我们使用模型理论技术来确定通用同质信息系统的存在性和唯一性。对于规范信息系统和稳定信息系统，也分别获得了类似的结果。 引用于4文件 MSC公司： 68问题55 计算理论中的语义学 关键词：领域理论;指称语义学;通用域;信息系统 引文：Zbl 0495.68025号 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{R.Göbel}，国际期刊发现。计算。科学。1，No.4，413--424（1990；Zbl 0723.68066） 全文： 内政部