The existence and construction of free iterative theories
- 30 June 1976
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 12 (3), 305-318
- https://doi.org/10.1016/s0022-0000(76)80003-7
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Automata in general algebrasInformation and Control, 1967
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences of the United States of America, 1963