12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:32, 12 August 2009
, 17:32, 12 August 2009→Formal extension : Cactus calculus: number figures
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (16)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (17)
|}
|}