Open Graphs and Computational Reasoning

समान संसाधन

• Open graphs and monoidal theories
  द्वारा: Dixon, L, और अन्य
  प्रकाशित: (2011)
• Graphical Reasoning in Compact Closed Categories for Quantum Computation
  द्वारा: Dixon, L, और अन्य
  प्रकाशित: (2009)
• Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
  द्वारा: Kissinger, A
  प्रकाशित: (2009)
• Reasoning with !-graphs
  द्वारा: Merry, A
  प्रकाशित: (2013)
• Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
  द्वारा: Kissinger, A
  प्रकाशित: (2012)