Homomorphism preserving algebraic specifications require hidden sorts
| Authors |
|
|---|---|
| Publication date | 1995 |
| Journal | Information and Computation |
| Volume | Issue number | 119 | 1 |
| Pages (from-to) | 119-123 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.1006/inco.1995.1079 |
| Downloads | |
| Permalink to this page | |
