Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/isdt:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2211-07163,
author = {Yinglong Song and
Jinbo Yang},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Strongly Continuous Domains},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10312},
doi = {10.46298/ENTICS.10312},
timestamp = {Wed, 03 Jan 2024 15:36:17 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-07972,
author = {Liping Zhang and
Xiangnan Zhou and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {A Hofmann-Mislove theorem for \emph{c}-well-filtered spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10369},
doi = {10.46298/ENTICS.10369},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-09994,
author = {Mengjie Jin and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {On \emph{k}-ranks of topological spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10349},
doi = {10.46298/ENTICS.10349},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-09994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10106,
author = {Hualin Miao and
Qingguo Li and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {One-step closure, weak one-step closure and meet continuity},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10352},
doi = {10.46298/ENTICS.10352},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10626,
author = {Xiangping Chu and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {The d\({}^{\mbox{*}}\)-space},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10354},
doi = {10.46298/ENTICS.10354},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10626.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10631,
author = {Huijun Hou and
Qingguo Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Weakly meet s\({}_{\mbox{Z}}\)-continuity and {\(\delta\)}\({}_{\mbox{Z}}\)-continuity},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10344},
doi = {10.46298/ENTICS.10344},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-10932,
author = {Min Liu and
Yulin Li},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Quantaloidal Completions of Order-enriched Categories and Their Applications},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10339},
doi = {10.46298/ENTICS.10339},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12317,
author = {Xiaojun Ruan and
Xiaoquan Xu},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {SI\({}_{\mbox{2}}\)-quasicontinuous spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10355},
doi = {10.46298/ENTICS.10355},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12392,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Continuous R-valuations},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10351},
doi = {10.46298/ENTICS.10351},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12734,
author = {Zhenchao Lyu and
Xiaolin Xie and
Hui Kou},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {A note on the category of c-spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10362},
doi = {10.46298/ENTICS.10362},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-14707,
author = {Zhaorong He and
Zhongqiang Yang and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Quasiexact posets and the moderate meet-continuity},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10383},
doi = {10.46298/ENTICS.10383},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-14707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-15922,
author = {Huarong Zhang and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {The sheaf representation of residuated lattices},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10399},
doi = {10.46298/ENTICS.10399},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-16052,
author = {Anneliese Schauerte and
John Frith},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Partial frames, their free frames and their congruence frames},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10459},
doi = {10.46298/ENTICS.10459},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-16133,
author = {Chong Shen and
Xiaoyong Xi and
Dongsheng Zhao},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Further studies on open well-filtered spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10392},
doi = {10.46298/ENTICS.10392},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-17099,
author = {Guojun Wu and
Luoshan Xu},
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Representations of Domains via CF-approximation Spaces},
booktitle = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.10420},
doi = {10.46298/ENTICS.10420},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-17099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2022,
editor = {Weng Kin Ho and
Dongsheng Zhao and
Achim Jung and
Guo{-}Qiang Zhang and
Guo{-}Qiang Zhang},
title = {Proceedings of the 9th International Symposium on Domain Theory and
Its Applications, {ISDT} 2022, Singapore, July 4-6, 2022},
series = {Electronic Notes in Theoretical Informatics and Computer Science},
volume = {2},
publisher = {EpiSciences},
year = {2022},
url = {https://doi.org/10.46298/entics.proceedings.isdt9},
doi = {10.46298/ENTICS.PROCEEDINGS.ISDT9},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrechtGJL19,
author = {Matthew de Brecht and
Jean Goubault{-}Larrecq and
Xiaodong Jia and
Zhenchao Lyu},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Domain-complete and LCS-complete Spaces},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {3--35},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.014},
doi = {10.1016/J.ENTCS.2019.07.014},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrechtGJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault-Larrecq19,
author = {Jean Goubault{-}Larrecq and
Xiaodong Jia},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Algebras of the Extended Probabilistic Powerdomain Monad},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {37--61},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.015},
doi = {10.1016/J.ENTCS.2019.07.015},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Goubault-Larrecq19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeLXZ19,
author = {Qingyu He and
Gaolin Li and
Xiaoyong Xi and
Dongsheng Zhao},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Some Results on Poset Models Consisting of Compact Saturated Subsets},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {77--85},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.017},
doi = {10.1016/J.ENTCS.2019.07.017},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HeLXZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JungLXZ19,
author = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Preface},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {1--2},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.013},
doi = {10.1016/J.ENTCS.2019.07.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/JungLXZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LeiZ19,
author = {Yinbin Lei and
Jun Zhang},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Generalizing Topological Set Operators},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {63--76},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.016},
doi = {10.1016/J.ENTCS.2019.07.016},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LeiZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiZH19,
author = {Gaolin Li and
Dongsheng Zhao and
Weng Kin Ho},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Universal Approach to \emph{Z}-frame Envelopes of Semilattices},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {87--97},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.018},
doi = {10.1016/J.ENTCS.2019.07.018},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LiZH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiZL19,
author = {Hui Li and
Xiangnan Zhou and
Qingguo Li},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Continuous Prequantale Models of \emph{T}\({}_{\mbox{1}}\) Topological
Semigroups},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {99--111},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.019},
doi = {10.1016/J.ENTCS.2019.07.019},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LiZL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Liu19,
author = {Chunhui Liu},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Uniform Topological Spaces Based on BF-ideals in Negative Non-involutive
Residuated Lattices},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {113--124},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.020},
doi = {10.1016/J.ENTCS.2019.07.020},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Liu19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuoX19,
author = {Shu{-}Zhen Luo and
Xiaoquan Xu},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {On SI\({}_{\mbox{2}}\)-continuous Spaces},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {125--141},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.021},
doi = {10.1016/J.ENTCS.2019.07.021},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LuoX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LyuK19,
author = {Zhenchao Lyu and
Hui Kou},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {A Cartesian Closed Category of Domains with Almost Algebraic Bases},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {143--168},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.022},
doi = {10.1016/J.ENTCS.2019.07.022},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LyuK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaoX19,
author = {Xuxin Mao and
Luoshan Xu},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Characterizations of Supercontinuous Posets via Scott S-sets and the
S-essential Topology},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {169--183},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.023},
doi = {10.1016/J.ENTCS.2019.07.023},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MaoX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NgH19,
author = {Kok Min Ng and
Weng Kin Ho},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Quasi-continuous Yoneda Complete Quasi-Metric Space},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {185--217},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.024},
doi = {10.1016/J.ENTCS.2019.07.024},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NgH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShenWZ19,
author = {Chong Shen and
Guohua Wu and
Dongsheng Zhao},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Weak Domain Models of \emph{T}\({}_{\mbox{1}}\) spaces},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {219--232},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.025},
doi = {10.1016/J.ENTCS.2019.07.025},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ShenWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SuL19,
author = {Shuhua Su and
Qi Li},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Lattices of Irreducibly-derived Closed Sets},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {233--247},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.026},
doi = {10.1016/J.ENTCS.2019.07.026},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SuL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XuZ19,
author = {Luoshan Xu and
Dongsheng Zhao},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {\emph{C}\({}_{\mbox{\emph{{\(\sigma\)}}}}\)-unique Dcpos and Non-maximality
of the Class of Dominated Dcpos Regarding {\(\Gamma\)}-faithfulness},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {249--260},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.027},
doi = {10.1016/J.ENTCS.2019.07.027},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/XuZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XuZ19a,
author = {Xiaoquan Xu and
Wenfeng Zhang},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Induced Topologies on the Poset of Finitely Generated Saturated Sets},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {261--269},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.028},
doi = {10.1016/J.ENTCS.2019.07.028},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/XuZ19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YaoL19,
author = {Lingjuan Yao and
Qingguo Li},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Representation of FS-domains Based on Closure Spaces},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {271--279},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.029},
doi = {10.1016/J.ENTCS.2019.07.029},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/YaoL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuanL19,
author = {Zhenzhu Yuan and
Qingguo Li},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {The Duality Theory of General Z-continuous Posets},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {281--292},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.030},
doi = {10.1016/J.ENTCS.2019.07.030},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/YuanL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhangLX19,
author = {Wenfeng Zhang and
Wenfeng Li and
Xiaoquan Xu},
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {\emph{s}\({}_{\mbox{2}}\)-Quasialgebraic Posets},
booktitle = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
pages = {293--301},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.entcs.2019.07.031},
doi = {10.1016/J.ENTCS.2019.07.031},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ZhangLX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2019,
editor = {Achim Jung and
Qingguo Li and
Luoshan Xu and
Guo{-}Qiang Zhang},
title = {Proceedings of the 8th International Symposium on Domain Theory and
Its Applications, {ISDT} 2019, Yangzhou, China, June 14-17, 2019},
series = {Electronic Notes in Theoretical Computer Science},
volume = {345},
publisher = {Elsevier},
year = {2019},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/345/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaoZ17,
author = {You Gao and
Xiangnan Zhou},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {The Relationships Between KM-fuzzy Quasi-metric Spaces and the Associated
Posets of Formal Balls},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {17--29},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.003},
doi = {10.1016/J.ENTCS.2017.08.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GaoZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeX17,
author = {Qingyu He and
Luoshan Xu},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Strongly Semicontinuous Lattices},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {31--41},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.004},
doi = {10.1016/J.ENTCS.2017.08.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HeX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Keimel17,
author = {Klaus Keimel},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Domain Theory its Ramifications and Interactions},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {3--16},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.002},
doi = {10.1016/J.ENTCS.2017.08.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Keimel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuL17,
author = {Chongxia Lu and
Qingguo Li},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {s\({}_{\mbox{2}}\)-C-continuous Poset},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {43--61},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.005},
doi = {10.1016/J.ENTCS.2017.08.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LuL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuoJZ17,
author = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Preface},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {1--2},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.001},
doi = {10.1016/J.ENTCS.2017.08.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LuoJZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuoX17,
author = {Shu{-}Zhen Luo and
Xiaoquan Xu},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {On Monotone Determined Spaces},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {63--72},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.006},
doi = {10.1016/J.ENTCS.2017.08.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LuoX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaP17,
author = {Yanfang Ma and
Haiyu Pan},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {The Approximate Correctness of Systems Based on {\(\delta\)}-bisimulation},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {73--87},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.007},
doi = {10.1016/J.ENTCS.2017.08.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MaP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaoX17,
author = {Xuxin Mao and
Luoshan Xu},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Characterizations of Various Continuities of Posets Via Approximated
Elements},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {89--101},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.008},
doi = {10.1016/J.ENTCS.2017.08.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MaoX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NgH17,
author = {Kok Min Ng and
Weng Kin Ho},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Yoneda Completion via a {DCPO} Completion of its Poset of Formal Balls},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {103--121},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.009},
doi = {10.1016/J.ENTCS.2017.08.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/NgH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SuLC17,
author = {Shuhua Su and
Qingguo Li and
Huodi Chen},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {The Meet-continuity of L-semilattices},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {123--141},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.010},
doi = {10.1016/J.ENTCS.2017.08.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SuLC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YangS17,
author = {Jinbo Yang and
Junmiao Shi},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Countably Sober Spaces},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {143--151},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.011},
doi = {10.1016/J.ENTCS.2017.08.011},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/YangS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YuanK17,
author = {Yayan Yuan and
Hui Kou},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Characterizing Consistent Smyth Powerdomains by FS-{\(\wedge\)}\({}^{\mbox{{\(\uparrow\)}}}\)-domains},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {153--162},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.012},
doi = {10.1016/J.ENTCS.2017.08.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/YuanK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZouL17,
author = {Zhiwei Zou and
Qingguo Li},
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {On Subset Families That Form a Continuous Lattice},
booktitle = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
pages = {163--172},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2017.08.013},
doi = {10.1016/J.ENTCS.2017.08.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ZouL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2017,
editor = {Mao{-}kang Luo and
Achim Jung and
Guo{-}Qiang Zhang},
title = {Seventh International Symposium on Domain Theory and Its Applications,
{ISDT} 2017, Shijiazhuang, China, June 2-6, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {333},
publisher = {Elsevier},
year = {2017},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/333/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2013,
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
publisher = {Elsevier},
year = {2014},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/301/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbdelGawad14,
author = {Moez A. AbdelGawad},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {3--19},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.002},
doi = {10.1016/J.ENTCS.2014.01.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AbdelGawad14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Battenfeld14,
author = {Ingo Battenfeld},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Observationally-induced Algebras in Domain Theory},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {21--37},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.003},
doi = {10.1016/J.ENTCS.2014.01.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Battenfeld14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuanL14,
author = {Xuechong Guan and
Yongming Li},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {On a Condition for Semirings to Induce Compact Information Algebras},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {39--48},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.004},
doi = {10.1016/J.ENTCS.2014.01.004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuanL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuoLVG14,
author = {Lankun Guo and
Qingguo Li and
Petko Valtchev and
Robert Godin},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {A Note on Finitely Derived Information Systems},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {49--59},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.005},
doi = {10.1016/J.ENTCS.2014.01.005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GuoLVG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ho14,
author = {Weng Kin Ho},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Characterising E-projectives via Co-monads},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {61--77},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.006},
doi = {10.1016/J.ENTCS.2014.01.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ho14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuangLG14,
author = {Mengqiao Huang and
Qingguo Li and
Lankun Guo},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Formal Contexts for Algebraic Domains},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {79--90},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.007},
doi = {10.1016/J.ENTCS.2014.01.007},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HuangLG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuLMZ14,
author = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Preface},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {1--2},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.001},
doi = {10.1016/J.ENTCS.2014.01.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuLMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuC14,
author = {Hengyang Wu and
Yixiang Chen},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Coalgebras for Fuzzy Transition Systems},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {91--101},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.008},
doi = {10.1016/J.ENTCS.2014.01.008},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WuC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuF14,
author = {Li{-}Gang Wu and
Lei Fan},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Generalized Scott Topology on Sets with Families of Pre-orders},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {103--115},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.009},
doi = {10.1016/J.ENTCS.2014.01.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WuF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuLZ14,
author = {Mingyuan Wu and
Qingguo Li and
Xiangnan Zhou},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Representations of Algebraic Domains and Algebraic L-domains by Information
Systems},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {117--129},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.010},
doi = {10.1016/J.ENTCS.2014.01.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WuLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XiW14,
author = {Xiaoyong Xi and
Guohua Wu},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {On the Largest Cartesian Closed Category of Stable Domains},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {131--137},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.011},
doi = {10.1016/J.ENTCS.2014.01.011},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/XiW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XuZ14,
author = {Luoshan Xu and
Jing Zhao},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Reductions and Saturation Reductions of (Abstract) Knowledge Bases},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {139--151},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.012},
doi = {10.1016/J.ENTCS.2014.01.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/XuZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YaoZ14,
author = {Wei Yao and
Bin Zhao},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {A Duality Between {\(\Omega\)}-categories and Algebraic {\(\Omega\)}-categories},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {153--168},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.013},
doi = {10.1016/J.ENTCS.2014.01.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/YaoZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhangX14,
author = {Wenfeng Zhang and
Xiaoquan Xu},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Completely Precontinuous Posets},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {169--178},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.014},
doi = {10.1016/J.ENTCS.2014.01.014},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ZhangX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhangX14a,
author = {Wenfeng Zhang and
Xiaoquan Xu},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {Meet Precontinuous Posets},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {179--188},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.015},
doi = {10.1016/J.ENTCS.2014.01.015},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ZhangX14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhaoK14,
author = {Haoran Zhao and
Hui Kou},
editor = {Ying{-}ming Liu and
Mao{-}kang Luo and
Michael W. Mislove and
Guo{-}Qiang Zhang},
title = {T\({}^{\mbox{{\(\omega\)}}}\) as a Stable Universal Domain},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and
Its Applications, {ISDT} 2013, Hunan University in Changsha, China,
October 25-29, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {301},
pages = {189--202},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2014.01.016},
doi = {10.1016/J.ENTCS.2014.01.016},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ZhaoK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenDJ09,
author = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Preface},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.022},
doi = {10.1016/J.ENTCS.2009.11.022},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenDJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuD09,
author = {Wenjie Du and
Yuxin Deng},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {On Mobility and Communication},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {19--33},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.024},
doi = {10.1016/J.ENTCS.2009.11.024},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Keimel09,
author = {Klaus Keimel},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Bicontinuous Domains and Some Old Problems in Domain Theory},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {35--54},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.025},
doi = {10.1016/J.ENTCS.2009.11.025},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Keimel09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MaZ09,
author = {Yanfang Ma and
Min Zhang},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Topological Construction of Parameterized Bisimulation Limit},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {55--70},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.026},
doi = {10.1016/J.ENTCS.2009.11.026},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MaZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schubert09,
author = {Christoph Schubert},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {71--85},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.027},
doi = {10.1016/J.ENTCS.2009.11.027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schubert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuC09,
author = {Hengyang Wu and
Yixiang Chen},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {A Duality Theorem for Quantitative Semantics},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {87--97},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.028},
doi = {10.1016/J.ENTCS.2009.11.028},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuF09,
author = {Li{-}Gang Wu and
Lei Fan},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Domain Equations Based on Sets with Families of Pre-orders},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {99--115},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.029},
doi = {10.1016/J.ENTCS.2009.11.029},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WuF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YangX09,
author = {Lingyun Yang and
Luoshan Xu},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {On Rough Concept Lattices},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {117--133},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.030},
doi = {10.1016/J.ENTCS.2009.11.030},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YangX09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Yao09,
author = {Wei Yao},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters
on Fuzzy Dcpos},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {135--152},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.031},
doi = {10.1016/J.ENTCS.2009.11.031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Yao09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zhang09,
author = {Guo{-}Qiang Zhang},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Closures in Binary Partial Algebras},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {3--18},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.023},
doi = {10.1016/J.ENTCS.2009.11.023},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zhang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhouZ09,
author = {Yihui Zhou and
Bin Zhao},
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Z-abstract Basis},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
pages = {153--158},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.032},
doi = {10.1016/J.ENTCS.2009.11.032},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhouZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isdt/2009,
editor = {Yixiang Chen and
Ernst{-}Erich Doberkat and
Achim Jung},
title = {Proceedings of the Fifth International Symposium on Domain Theory,
{ISDT} 2009, Shanghai, China, September 12-14, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {257},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/257/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isdt/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-21 02:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
