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