scientific article
From MaRDI portal
Publication:3817577
zbMATH Open0666.68014MaRDI QIDQ3817577
Publication date: 1988
Title of this publication is not available (Why is that?)
algebrasconditional term rewriting systemsequational axiomatization2-sortedtheory of programming languages
Related Items (4)
A Compositional Semantics for ‘If Then’ Conditionals ⋮ A transformational characterization of if-then-else ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3817577)
