12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 03, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 01:42, 21 March 2010
, 01:42, 21 March 2010→Formal extension : Cactus calculus: renumber figures
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (16)
| (18)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (17)
| (19)
|}
|}
