Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : University Of Bristol

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Dual-Context Calculi for Modal Logic

Authors : Kavvos, G. A.

Subjects: /dk/atira/pure/core/keywords/programming_languages; Programming Languages; modal logic

Source: Kavvos , G A 2020 , ' Dual-Context Calculi for Modal Logic ' , Logical Methods in Computer Science (LMCS) , vol. 16 , no. 3 , pp. 10:1–10:66 . https://doi.org/10.23638/LMCS-16(3:10)2020

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Accessible Images Revisited

Authors : Brooke-Taylor, Andrew D; Rosicky, Jiri

Source: Brooke-Taylor , A D & Rosicky , J 2017 , ' Accessible Images Revisited ' , Proceedings of the American Mathematical Society , vol. 145 , no. 3 , pp. 1317-1327 . https://doi.org/10.1090/proc/13190

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي