Login / Signup

Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes.

Matthew Amy
Published in: QPL (2023)
Keyphrases
  • equational theories
  • databases
  • objective function
  • theorem proving
  • shortest path
  • first order logic
  • weighted sum