Changes

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

Revision as of 03:22, 1 October 2010

36 bytes added , 03:22, 1 October 2010

+ place for discussion

Line 1: Line 1: +

==Place for Discussion==

+

+

…

+

==Formal extension : Cactus calculus==

==Formal extension : Cactus calculus==

12,080

edits

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