12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:28, 2 November 2008
, 19:28, 2 November 2008→Formal extension : Cactus calculus: cleanup debris
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
==Case analysis-synthesis theorem==
==Case analysis-synthesis theorem==