يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary)"', وقت الاستعلام: 1.33s تنقيح النتائج
  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

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