283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 230: | Line 230: | ||
</ref> | </ref> | ||
. | . | ||
The following | The following structural laws are satisfied by all <math>s, t, u</math> pipe-calculus terms. | ||
<math> | <math> | ||