نشر في Dominique Duval
بتاريخ 2010
في مجال الهندسة المعلوماتية
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.