会议专题

The 6th International Symposium on Domain Theory and its Applications—ISDT’13(第六届Domain理论及应用国际学术研讨会)

总文献量: 15篇会议类型: 国际会议会议地点: 长沙主办单位: 中国数学会会议日期: 2013-10-25

文章浏览

Completely Precontinuous Posets

Wenfeng Zhang Xiaoquan Xu

A Note on Finitely Derived Information Systems

Lankun Guo Qingguo Li Petko Valtchev Robert Godin

On the Largest Cartesian Closed Category of Stable Domains

Xiaoyong Xi Guohua Wu

Coalgebras for Fuzzy Transition Systems

Hengyang Wu Yixiang Chen

Characterising E-projectives via Co-monads

Weng Kin Ho

A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming

Moez A. AbdelGawad

Meet Precontinuous Posets

Wenfeng Zhang Xiaoquan Xu

Reductions and Saturation Reductions of (Abstract) Knowledge Bases

Luoshan Xu Jing Zhao

Tω as a Stable Universal Domain

Haoran Zhao Hui Kou

A Duality Between Ω-categories and Algebraic Ω-categories

Wei Yao Bin Zhao

On a Condition for Semirings to Induce Compact Information Algebras

Guan Xuechong Li Yongming

Formal Contexts for Algebraic Domains

Mengqiao Huang Qingguo Li Lankun Guo

Generalized Scott Topology on Sets with Families of Pre-orders

Li-Gang Wu Lei Fan

Representations of Algebraic Domains and Algebraic L-domains by Information Systems

Mingyuan Wu Qingguo Li Xiangnan Zhou

Observationally-induced Algebras in Domain Theory

Ingo Battenfeld