Modeling dynamic programming problems over sequences and trees with inverse coupled rewrite systems

From MaRDI portal