دانلود مقاله ISI انگلیسی شماره 78729
عنوان فارسی مقاله

نمایندگی از دامنه های-L توسط سیستم های اطلاعاتی

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
78729 2016 11 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
A representation of L-domains by information systems
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Theoretical Computer Science, Volume 612, 25 January 2016, Pages 126–136

کلمات کلیدی
دامنه-L؛ سیستم اطلاعات؛ هم ارزی قاطع
پیش نمایش مقاله
پیش نمایش مقاله نمایندگی از دامنه های-L توسط سیستم های اطلاعاتی

چکیده انگلیسی

In this paper, we propose the notion of L-information systems which provides a concrete representation of L-domains. In particular, we prove that the category of L-information systems with approximable mappings as morphisms is equivalent to that of L-domains with Scott continuous functions as morphisms.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.