283
edits
Pipe-calculus: Difference between revisions
→Normal forms
KalmanKeri (talk | contribs) m (→Extensions) |
KalmanKeri (talk | contribs) |
||
| Line 284: | Line 284: | ||
</math> | </math> | ||
Notice that finding a matching rewriting rule does not require equality | Notice that finding a matching rewriting rule does not require checking the equality of terms, only of atoms. | ||
== Connection with process calculus == | == Connection with process calculus == | ||