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.

Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com