کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
437031 | 690066 | 2006 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Towards a descriptive set theory for domain-like structures
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This is a survey of results in descriptive set theory for domains and similar spaces, with the emphasis on the ω-algebraic domains. We try to demonstrate that the subject is interesting in its own right and is closely related to some areas of theoretical computer science. Since the subject is still in its beginning, we discuss in detail several open questions and possible future development. We also mention some relevant facts of (effective) descriptive set theory.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 365, Issue 3, 12 November 2006, Pages 258-282
Journal: Theoretical Computer Science - Volume 365, Issue 3, 12 November 2006, Pages 258-282