Helmut Seidl. Least Solutions of Equations over . In Serge Abiteboul and Eli Shamir, editors, Automata, Languages and Programming, volume 820 of Lecture Notes in Computer Science, pages 400-411, Jerusalem, Israel, July 1994. Springer.

We consider the problem of computing the least solution , of a system of equations , i.e., the naturals (extended by ), where the right hand sides are expressions built up from constants and variables by operations taken from some set . We present efficient algorithms for various subsets of the operations minimum, maximum, addition and multiplication.