- Mingyuan Wu, Qingguo Li
, Xiangnan Zhou:
Representations of Algebraic Domains and Algebraic L-domains by Information Systems. ISDT 2013: 117-129 - Xiaoyong Xi, Guohua Wu:
On the Largest Cartesian Closed Category of Stable Domains. ISDT 2013: 131-137 - Luoshan Xu, Jing Zhao:
Reductions and Saturation Reductions of (Abstract) Knowledge Bases. ISDT 2013: 139-151 - Wei Yao, Bin Zhao:
A Duality Between Ω-categories and Algebraic Ω-categories. ISDT 2013: 153-168 - Wenfeng Zhang, Xiaoquan Xu:
Completely Precontinuous Posets. ISDT 2013: 169-178 - Wenfeng Zhang, Xiaoquan Xu:
Meet Precontinuous Posets. ISDT 2013: 179-188 - Haoran Zhao, Hui Kou:
Tω as a Stable Universal Domain. ISDT 2013: 189-202 - 2009
- Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Preface. ISDT 2009: 1-2 - Wenjie Du, Yuxin Deng:
On Mobility and Communication. ISDT 2009: 19-33 - Klaus Keimel:
Bicontinuous Domains and Some Old Problems in Domain Theory. ISDT 2009: 35-54 - Yanfang Ma, Min Zhang:
Topological Construction of Parameterized Bisimulation Limit. ISDT 2009: 55-70 - Christoph Schubert:
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence. ISDT 2009: 71-85 - Hengyang Wu, Yixiang Chen:
A Duality Theorem for Quantitative Semantics. ISDT 2009: 87-97 - Li-Gang Wu, Lei Fan:
Domain Equations Based on Sets with Families of Pre-orders. ISDT 2009: 99-115 - Lingyun Yang, Luoshan Xu:
On Rough Concept Lattices. ISDT 2009: 117-133 - Wei Yao:
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos. ISDT 2009: 135-152 - Guo-Qiang Zhang:
Closures in Binary Partial Algebras. ISDT 2009: 3-18 - Yihui Zhou, Bin Zhao:
Z-abstract Basis. ISDT 2009: 153-158 - Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009. Electronic Notes in Theoretical Computer Science 257, Elsevier 2009 [contents]
