curtis-ralf-barnett documents

1 Part 13. Tubular Rulesets. 2 Def. For a given state s with rule set R, triple E is tubular if for every triple T that E depends on, T is a tube of E:
Documents 1 Part 13. Tubular Rulesets. 2 Def. For a given state s with rule set R, triple E is tubular if for every triple T that E depends on, T is a tube of E: