Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (H. Ehrig and B. Mahr)
- 1 June 1987
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Review
- Vol. 29 (2) , 318-322
- https://doi.org/10.1137/1029061
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Operational semantics for order-sorted algebraPublished by Springer Nature ,2005
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Semantics of computationPublished by Springer Nature ,1975