| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 439132 | Theoretical Computer Science | 2009 | 26 Pages |
Abstract
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary and transfinite construction of free algebras for equational systems; and to illustrate the use of equational systems as needed in modern applications.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
