Changes

MyWikiBiz, Author Your Legacy — Monday May 06, 2024
Jump to navigationJump to search

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,080

edits

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

Navigation menu