283
edits
Pipe-calculus: Difference between revisions
→Equational theory
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 142: | Line 142: | ||
== Equational theory == | == Equational theory == | ||
The following structural identities are satisfied by all <math>s, t, u</math> pipe-calculus terms. | |||
<math> | <math> | ||
\def\seq{\mathrel{;}} | \def\seq{\mathrel{;}} | ||