Search results

Page title matches

• File:Cactus Graph (P,dP) ISW.jpg (578 × 242 (29 KB)) - 17:26, 29 November 2015

Page text matches

• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ===Cactus Language for Propositional Logic=== ...k\!</math>-ary scope. The formulas of this calculus map into a species of graph-theoretical structures called ''painted and rooted cacti'' (PARCs) that len
  131 KB (20,198 words) - 15:38, 2 December 2015