On graph invariants given by linear recurrence relations
It has been shown that ``a family of directed rewrite rules is sufficient to demonstrate the existence of an \(R\)-values invariant of objects in \(C\) modulo the given equivalence and defined by the given linear recurrence relations under certain conditions''. The paper is concluded by some important open problems.
scientific article; zbMATH DE number 4362