| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423251 | Electronic Notes in Theoretical Computer Science | 2010 | 15 Pages |
Abstract
The Cartesian monoid of partial piecewise shift operators is developed as a model for programming systems such as Backus' FP. Special attention is paid to those elements which are equationally implicitly definable.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
