Guard modules

DOI10.1007/BF01187560zbMath0599.68012OpenAlexW4243369599MaRDI QIDQ1080645

Ernest G. Manes

Publication date: 1985

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01187560

zbMATH Keywords

finite axiomatizationalgebraic semanticsguard actionmodules over a semiringsingle-sorted equational theory of if-then-else

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Equational classes, universal algebra in model theory (03C05)

Related Items

Adas and the equational theory of if-then-else

Cites Work

• Unnamed Item
• Unnamed Item
• Partially additive categories and flow-diagram semantics
• On modules over a semiring
• Varieties of ”If-Then-Else“

This page was built for publication: Guard modules