Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation (Q5505491)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation |
scientific article; zbMATH DE number 5498218
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation |
scientific article; zbMATH DE number 5498218 |
Statements
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation (English)
0 references
27 January 2009
0 references
graph rewriting
0 references
quantum computing
0 references
categorical logic
0 references
interactive theorem proving
0 references
graphical calculi
0 references
0.93814933
0 references
0.87985003
0 references
0.87129825
0 references
0.86809355
0 references
0.86693966
0 references
0.8660446
0 references
0 references
0.8584542
0 references
0.8570916
0 references
