يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"parallel closedness"', وقت الاستعلام: 0.28s تنقيح النتائج
  1. 1
    Dissertation/ Thesis
    項書換えのための合成可能な合流性基準

    المؤلفون: 新谷, 喜楽

    مصطلحات موضوعية: term rewriting, confluence, decreasing diagrams, parallel closedness, automation

    وصف الملف: application/pdf

    URL الوصول: https://ndlsearch.ndl.go.jp/books/R100000039-I13122897

    Degree: 博士(情報科学) -- 北陸先端科学技術大学院大学

    View record in National Diet Library Digital Collections

    أضف إلى المفضلة
  2. 2
    項書換えのための合成可能な合流性基準

    المؤلفون: 新谷, 喜楽

    مصطلحات موضوعية: term rewriting, confluence, decreasing diagrams, parallel closedness, automation

    View record in National Diet Library Digital Collections

    أضف إلى المفضلة
  3. 3
    項書換えのための合成可能な合流性基準

    المؤلفون: 新谷, 喜楽

    المساهمون: しんたに, きらく

    مصطلحات موضوعية: term rewriting, confluence, decreasing diagrams, parallel closedness, automation

    وصف الملف: application/pdf

    Relation: http://hdl.handle.net/10119/18782

    الاتاحة: http://hdl.handle.net/10119/18782

    View record in BASE

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