zbMATH — the first resource for mathematics

Algebraic semantics. (English) Zbl 0474.68010
Lecture Notes in Computer Science, 99. Berlin-Heidelberg-New York: Springer-Verlag. XI, 158 p. DM 21.50; $ 12.70 (1981).

68Q60 Specification and verification (program logics, model checking, etc.)
03C05 Equational classes, universal algebra in model theory
08B20 Free algebras
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q55 Semantics in the theory of computing
08C99 Other classes of algebras