12,144
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 04, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:45, 24 March 2010
, 19:45, 24 March 2010→Formal extension : Cactus calculus: renumb figs
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (18)
| (α)
|}
|}
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
| (19)
| (β)
|}
|}
