On the construction of free algebras for equational systems
| Autor: | Fiore, Marcelo, Hur, Chung-Kil |
|---|---|
| Zdroj: | In Theoretical Computer Science 2009 410(18):1704-1729 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Fiore, Marcelo, Hur, Chung-Kil |
|---|---|
| Zdroj: | In Theoretical Computer Science 2009 410(18):1704-1729 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect