Formal Syntax of Spider Diagrams In this section we give spider diagrams a formal definition which is independent of any ... two spiders, while Ap : 5 x S -Ay %a#39; is a function that returns the web of any two spiders. ... predicate Pxagt;(U) is simply the conjunction of the semantics predicate of the individual diagrams: pv(v) = /\ w) .

Title | : | Symposium on Visual Languages |

Author | : | |

Publisher | : | Institute of Electrical & Electronics Engineers(IEEE) - 1999 |

Continue