Order-a journal on the theory of ordered sets and its applications. 1997;14(2):107-124. doi: 10.1023/a:1006031314563 Q40.42025
On Initial Segments of Computable Linear Orders
可计算线性序的初始段
DOI: 10.1023/a:1006031314563
摘要 查看摘要
Order-a journal on the theory of ordered sets and its applications. 1997;14(2):107-124. doi: 10.1023/a:1006031314563 Q40.42025
DOI: 10.1023/a:1006031314563
摘要 查看摘要