Schmude, Janusz
(2022-05-05)
The main goal of this thesis is to apply the Hilbert Method in order to find decision procedures for the equivalence problem for various classes of transformations of combinatorial objects, like words, trees, or graphs. ...