Guessarian, Irène 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 41 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, 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 Keywords:recursive program schemes; trees; magmas PDF BibTeX XML