• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus.

Boldizsár PoórQuanlong WangRazin A. ShaikhLia YehRichie YeungBob Coecke
Published in: LICS (2023)
Keyphrases
  • computer algebra
  • database
  • search algorithm
  • formal language
  • algebraic structure
  • neural network
  • knowledge base
  • user defined
  • real numbers
  • equational theories