Pages that link to "Item:Q5269894"
From MaRDI portal
The following pages link to Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894):
Displayed 3 items.
The following pages link to Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894):
Displayed 3 items.