Adas and the equational theory of if-then-else

From MaRDI portal
Publication:690107

DOI10.1007/BF01190447zbMath0795.08006OpenAlexW1965089427MaRDI QIDQ690107

M. C. Fu

Publication date: 20 December 1993

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

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




Related Items



Cites Work


This page was built for publication: Adas and the equational theory of if-then-else