يعرض 1 - 10 نتائج من 38 نتيجة بحث عن '"Kavvos, G. A."', وقت الاستعلام: 1.05s تنقيح النتائج
  1. 1
    تقرير
    Two-dimensional Kripke Semantics II: Stability and Completeness

    المؤلفون: Kavvos, G. A.

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary), F.4.1, F.3.2

    URL الوصول: http://arxiv.org/abs/2406.03578

    أضف إلى المفضلة
  2. 2
    تقرير
    Two-dimensional Kripke Semantics I: Presheaves

    المؤلفون: Kavvos, G. A.

    المصدر: LIPIcs, Volume 299, FSCD 2024, article 11

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D10, 06D50, 18A15, 18A40, 18F20, 18D60 (Secondary), F.4.1, F.3.2

    URL الوصول: http://arxiv.org/abs/2405.04157

    أضف إلى المفضلة
  3. 3
    تقرير
    Under Lock and Key: A Proof System for a Multimodal Logic

    المؤلفون: Kavvos, G. A., Gratzer, Daniel

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic

    URL الوصول: http://arxiv.org/abs/2211.06217

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    UNDER LOCK AND KEY : A PROOF SYSTEM FOR A MULTIMODAL LOGIC

    المؤلفون: KAVVOS, G. A., GRATZER, DANIEL

    المصدر: The Bulletin of Symbolic Logic, 2023 Jun 01. 29(2), 264-293.

    URL الوصول: https://www.jstor.org/stable/27226695

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  5. 5
    تقرير
    Multimodal Dependent Type Theory

    المؤلفون: Gratzer, Daniel, Kavvos, G. A., Nuyts, Andreas, Birkedal, Lars

    المصدر: Logical Methods in Computer Science, Volume 17, Issue 3 (July 28, 2021) lmcs:7571

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2011.15021

    أضف إلى المفضلة
  6. 6
    تقرير
    Client-Server Sessions in Linear Logic

    المؤلفون: Qian, Zesen, Kavvos, G. A., Birkedal, Lars

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2010.13926

    أضف إلى المفضلة
  7. 7
    تقرير
    Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)

    المؤلفون: Kavvos, G. A., Morehouse, Edward, Licata, Daniel R., Danner, Norman

    المصدر: Proc. ACM Program. Lang. 4, POPL, Article 15 (January 2020)

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.3.2

    URL الوصول: http://arxiv.org/abs/1911.04588

    أضف إلى المفضلة
  8. 8
    مؤتمر
    Dual-context calculi for modal logic

    المؤلفون: Kavvos, G. A.

    المصدر: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on. :1-12 Jun, 2017

    Relation: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  9. 9
    تقرير
    Modalities, Cohesion, and Information Flow

    المؤلفون: Kavvos, G. A.

    المصدر: G. A. Kavvos. 2019. Modalities, Cohesion, and Information Flow. Proc. ACM Program. Lang. 3, POPL, Article 20 (January 2019), 29 pages

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/1809.07897

    أضف إلى المفضلة
  10. 10
    تقرير
    On the Semantics of Intensionality and Intensional Recursion

    المؤلفون: Kavvos, G. A.

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Category Theory, Mathematics - Logic, 03B70, 03B45, 03F45, 68Q55, 18C50, 18A99, F.3.2, F.3.3, F.1.1, F.4.1, D.3.2, D.3.3

    URL الوصول: http://arxiv.org/abs/1712.09302

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء