ملخص
The paper investigates relationships between algebraic ex-pressions and graphs. Using the decomposition method we generate spe-cial simultaneous systems of linear recurrences for sizes of graph expres-sions. We propose techniques which provide closed-form solutions for these systems.
اللغة الأصلية | الإنجليزيّة |
---|---|
الصفحات (من إلى) | 104-108 |
عدد الصفحات | 5 |
دورية | CEUR Workshop Proceedings |
مستوى الصوت | 1949 |
حالة النشر | نُشِر - 2017 |
الحدث | Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017 - Naples, إيطاليا المدة: ٢٦ سبتمبر ٢٠١٧ → ٢٨ سبتمبر ٢٠١٧ |