Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 104-108 |
| Number of pages | 5 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1949 |
| State | Published - 2017 |
| Event | Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017 - Naples, Italy Duration: 26 Sep 2017 → 28 Sep 2017 |