کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10333733 689175 2015 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Observationally-induced lower and upper powerspace constructions
ترجمه فارسی عنوان
ساختارهای قدرت فضایی پایین و بالاتر ناشی از مشاهدات
ترجمه چکیده
در نهایت، ما نشان می دهیم که با تنظیم مختصری از تعاریف، جبرانی ناشی از مشاهدات، کوچکترین زیر مجموعه ای بازتابی از رده جبر را برای امضای متناظر تشکیل می دهد که شامل نمونه اولیه محاسباتی است و در زیر ایزومورفیسم کامل و بسته است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Finally, we show that with a small adjustment of the definitions, observationally-induced algebras form the smallest full reflective subcategory of the category of algebras for the corresponding signature, which contains the computational prototype and is complete and closed under isomorphism.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 84, Issue 5, September 2015, Pages 668-682
نویسندگان
, ,