Changes

← Older edit

Directory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 03:28, 1 October 2010

12 bytes added , 03:28, 1 October 2010

→‎Formal extension : Cactus calculus

Line 3: Line 3:

…

…

−

==Formal extension : Cactus calculus==

+

==Formal extension : Cactus calculus (Work Area)==

Let us now extend the CSP–GSB calculus in the following way:

Let us now extend the CSP–GSB calculus in the following way:

12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/125474"