التفاصيل البيبلوغرافية
العنوان:
Domain and range for angelic and demonic compositions
المؤلفون:
Szabolcs Mikulás , Marcel Jackson
المصدر:
Journal of Logical and Algebraic Methods in Programming . 103:62-78
بيانات النشر:
Elsevier BV, 2019.
سنة النشر:
2019
مصطلحات موضوعية:
FOS: Computer and information sciences , Computer Science - Logic in Computer Science , Pure mathematics , Statistics::Applications , Logic , Semigroup , 08A02 , Mathematics - Logic , 0102 computer and information sciences , Composition (combinatorics) , 01 natural sciences , Logic in Computer Science (cs.LO) , Theoretical Computer Science , Range (mathematics) , Computational Theory and Mathematics , 010201 computation theory & mathematics , Computer Science::Logic in Computer Science , Domain (ring theory) , FOS: Mathematics , F.3.2 , F.3.1 , Logic (math.LO) , Software , Mathematics
الوصف:
We give finite axiomatizations for the varieties generated by representable domain–range algebras when the semigroup operation is interpreted as angelic or demonic composition, respectively.
تدمد:
2352-2208
URL الوصول:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6354b282b29820093f75468be9d8bad6 https://doi.org/10.1016/j.jlamp.2018.11.002
حقوق:
OPEN
رقم الأكسشن:
edsair.doi.dedup.....6354b282b29820093f75468be9d8bad6
قاعدة البيانات:
OpenAIRE
