Dynamic algebras of programs
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 281-290
- https://doi.org/10.1007/3-540-10854-8_31
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Universal AlgebraPublished by Springer Nature ,1979
- On universal algebraic constructions of logicsStudia Logica, 1977
- A simple, purely algebraic proof of the completeness of some first order logicsAlgebra universalis, 1975