Search Results - Piedeleu, Robin

  • Showing 1 - 19 results of 19
Refine Results
  1. 1
    A Finite Axiomatisation of Finite-State Automata Using String Diagrams

    A Finite Axiomatisation of Finite-State Automata Using String Diagrams by Piedeleu, Robin, Zanasi, Fabio

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Uniqueness of Composition in Quantum Theory and Linguistics

    Uniqueness of Composition in Quantum Theory and Linguistics by Coecke, Bob, Genovese, Fabrizio, Gogioso, Stefano, Marsden, Dan, Piedeleu, Robin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Interacting Conceptual Spaces

    Interacting Conceptual Spaces by Bolt, Josef, Coecke, Bob, Genovese, Fabrizio, Lewis, Martha, Marsden, Daniel, Piedeleu, Robin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Bialgebraic foundations for the operational semantics of string diagrams

    Bialgebraic foundations for the operational semantics of string diagrams by Bonchi, Filippo, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Diagrammatic algebra: from linear to concurrent systems

    Diagrammatic algebra: from linear to concurrent systems by Bonchi, Filippo, Holland, Joshua, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    A Finite Axiomatisation of Finite-State Automata Using String Diagrams

    A Finite Axiomatisation of Finite-State Automata Using String Diagrams by Piedeleu, Robin, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A Complete Diagrammatic Calculus for Boolean Satisfiability

    A Complete Diagrammatic Calculus for Boolean Satisfiability by Gu, Tao, Piedeleu, Robin, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    An Introduction to String Diagrams for Computer Scientists

    An Introduction to String Diagrams for Computer Scientists by Piedeleu, Robin, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Graphical Piecewise-Linear Algebra

    Graphical Piecewise-Linear Algebra by Boisseau, Guillaume, Piedeleu, Robin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

    Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure by Milosavljevic, Aleksandar, Piedeleu, Robin, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A String Diagrammatic Axiomatisation of Finite-State Automata

    A String Diagrammatic Axiomatisation of Finite-State Automata by Piedeleu, Robin, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming

    A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming by Piedeleu, Robin, Torres-Ruiz, Mateo, Silva, Alexandra, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Graphical Quadratic Algebra

    Graphical Quadratic Algebra by Stein, Dario, Zanasi, Fabio, Piedeleu, Robin, Samuelson, Richard

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Uniqueness of Composition in Quantum Theory and Linguistics

    Uniqueness of Composition in Quantum Theory and Linguistics by Coecke, Bob, Genovese, Fabrizio, Gogioso, Stefano, Marsden, Dan, Piedeleu, Robin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Contextual Equivalence for Signal Flow Graphs

    Contextual Equivalence for Signal Flow Graphs by Bonchi, Filippo, Piedeleu, Robin, Sobocinski, Pawel, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Bialgebraic Semantics for String Diagrams

    Bialgebraic Semantics for String Diagrams by Bonchi, Filippo, Piedeleu, Robin, Sobocinski, Pawel, Zanasi, Fabio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Interacting Conceptual Spaces

    Interacting Conceptual Spaces by Bolt, Josef, Coecke, Bob, Genovese, Fabrizio, Lewis, Martha, Marsden, Daniel, Piedeleu, Robin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Interacting Conceptual Spaces I : Grammatical Composition of Concepts

    Interacting Conceptual Spaces I : Grammatical Composition of Concepts by Bolt, Joe, Coecke, Bob, Genovese, Fabrizio, Lewis, Martha, Marsden, Dan, Piedeleu, Robin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Open System Categorical Quantum Semantics in Natural Language Processing

    Open System Categorical Quantum Semantics in Natural Language Processing by Piedeleu, Robin, Kartsaklis, Dimitri, Coecke, Bob, Sadrzadeh, Mehrnoosh

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: