يعرض 1 - 10 نتائج من 800 نتيجة بحث عن '"Nakamura, Yoshiki"', وقت الاستعلام: 0.97s تنقيح النتائج
  1. 1
    تقرير
    Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure

    المؤلفون: Nakamura, Yoshiki

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

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

    أضف إلى المفضلة
  2. 2
    كتاب
    Skip Beat!. 3

    المؤلفون: Nakamura, Yoshiki

    المساهمون: Bergström, My

    URL الوصول: http://194.68.4.214/bilder/b/9789163859120.jpg

    أضف إلى المفضلة
  3. 3
    كتاب
    Skip Beat!. 1

    المؤلفون: Nakamura, Yoshiki

    المساهمون: Bergström, My

    URL الوصول: http://194.68.4.214/bilder/b/9789163859106.jpg

    أضف إلى المفضلة
  4. 4
    كتاب
    Skip Beat!. 6

    المؤلفون: Nakamura, Yoshiki

    المساهمون: Bergström, My

    أضف إلى المفضلة
  5. 5
    كتاب
    Skip Beat!. 2

    المؤلفون: Nakamura, Yoshiki

    المساهمون: Bergström, My

    URL الوصول: http://194.68.4.214/bilder/b/9789163859113.jpg

    أضف إلى المفضلة
  6. 6
    كتاب
    Skip Beat!. 5

    المؤلفون: Nakamura, Yoshiki

    المساهمون: Bergström, My

    URL الوصول: http://194.68.4.214/bilder/b/9789163860553.jpg

    أضف إلى المفضلة
  7. 7
    كتاب
    Skip Beat!. 4

    المؤلفون: Nakamura, Yoshiki

    المساهمون: Bergström, My

    URL الوصول: http://194.68.4.214/bilder/b/9789163860546.jpg

    أضف إلى المفضلة
  8. 8
    مؤتمر
    Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations

    المؤلفون: Nakamura, Yoshiki

    المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-13 Jun, 2023

    Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    أضف إلى المفضلة
  9. 9
    تقرير
    Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity

    المؤلفون: Nakamura, Yoshiki

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements

    المؤلفون: Nakamura, Yoshiki, Sin'ya, Ryoma

    المصدر: EPTCS 386, 2023, pp. 185-199

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.3, D.3.1

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

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