Varieties of ”If-Then-Else“

DOI10.1137/0212047MaRDI QIDQ3667922zbMATH OpenOpenAlexFDO

Authors Ralph Tindell, Stephen L. Bloom

Publication date 1983

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0212047

zbMATH Keywords

control flowequational logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited in

(24)

• On algebraic specifications of computable algebras with the discriminator technique
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Axiomatisation des tests
• Algebraic properties of if-then-else and commutative three-valued tests
• Guard modules
• Reduction of Hilbert-type proof systems to the if-then-else equational logic
• Axiomatization of a functional logic language
• Data types over multiple-valued logics
• Discriminator varieties and symbolic computation
• Adas and the equational theory of if-then-else
• Boolean product representations of algebras via binary polynomials
• Generators, indecomposables and free algebras
• A note on the logic of signed equations
• Fundamental properties of infinite trees
• Completion for unification
• Discrete decision theory: manipulations
• Stochastic Decision Theory
• Equations for if-then-else
• Semigroups with if-then-else and halting programs
• Monoids with tests and the algebra of possibly non-halting programs
• scientific article; zbMATH DE number 3896271 (Why is no real title available?)
• Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
• Monoids of non-halting programs with tests
• A matching process modulo a theory of categorical products

This page was built for publication: Varieties of ”If-Then-Else“

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3667922)