نتایج جستجو برای: restriction
تعداد نتایج: 73418 فیلتر نتایج به سال:
Journal:
:Nuclear Physics B - Proceedings Supplements
1997
Journal:
:Logic Journal of the IGPL
2022
Abstract We provide complete classifications of algebras partial maps for a significant swathe combinations operations not previously classified. Our focus is the many subsidiary that arise in recent considerations ‘override’ and ‘update’ arising specification languages. These other turn out to have an older pedigree: domain restriction, set subtraction intersection. All signatures considered i...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید