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