کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
427405 | 686502 | 2016 | 5 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On the expressive power of Kleene algebra with domain
ترجمه فارسی عنوان
درباره قدرت بیانی جبر کلین با دامنه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
نیمارها؛ جبری کلین؛ قدرت بیانی؛ منطق هور؛ صحت برنامه
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
• Kleene algebras with domain are more expressive than Kleene algebras with tests.
• Kleene algebras with domain are expressive for propositional Hoare logic.
• Kleene algebras with tests are not expressive for this formalism.
It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 116, Issue 4, April 2016, Pages 284–288
Journal: Information Processing Letters - Volume 116, Issue 4, April 2016, Pages 284–288
نویسندگان
Georg Struth,