کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6876035 | 689940 | 2015 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
All cartesian closed categories of quasicontinuous domains consist of domains
ترجمه فارسی عنوان
تمام دسته های بسته بندی شده دکتیایی دامنه های ناکارآمد شامل دامنه ها می شوند
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
To prove this, we reduce the notion of meet-continuity for dcpos to one which only involves well-ordered chains. This allows us to characterise meet-continuity by “forbidden substructures”. We then show that each forbidden substructure has a non-quasicontinuous function space.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 594, 23 August 2015, Pages 143-150
Journal: Theoretical Computer Science - Volume 594, 23 August 2015, Pages 143-150
نویسندگان
Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, Haoran Zhao,