| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424230 | Electronic Notes in Theoretical Computer Science | 2006 | 19 Pages |
Abstract
Iterative algebras are defined by the property that every guarded system of recursive equations has a unique solution. We prove that they have a much stronger property: every system of recursive equations has a unique strict solution. And we characterize those systems that have a unique solution in every iterative algebra.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
