Changes

MyWikiBiz, Author Your Legacy — Saturday December 06, 2025
Jump to navigationJump to search

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:
Jon Awbrey
12,154

edits

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

Navigation menu