On the Axiomatization of “If-Then-Else”
- 1 April 1987
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 16 (2) , 332-357
- https://doi.org/10.1137/0216025
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Axiomatisation des testsTheoretical Computer Science, 1985
- Guard modulesAlgebra universalis, 1985
- Varieties of ”If-Then-Else“SIAM Journal on Computing, 1983
- Varieties of chain-complete algebrasJournal of Pure and Applied Algebra, 1980
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- On some classes of interpretationsJournal of Computer and System Sciences, 1978
- Conditional Expressions with Equality TestsJournal of the ACM, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963