MyWikiBiz

Changes

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

Revision as of 03:28, 1 October 2010

48 bytes added ,  03:28, 1 October 2010
→‎Formal extension : Cactus calculus
Line 1: Line 1: −
==Formal extension : Cactus calculus==
+
==Place for Discussion==
 +
 
 +
…
 +
 
 +
==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:
Jon Awbrey
12,218

edits

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