The ω-Regular seperation Axiom in lω-Spaces

Jia-Liang Xie, Shui-Li Chen, Gengda Li. The ω-Regular seperation Axiom in lω-Spaces. In Guojun Wang 0004, Bin Zhao, Yongmin Li 0001, editors, Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012. Volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, 2012. [doi]

Abstract

Abstract is missing.