A Proof of the Multiplicative 1-2-3 Conjecture.

Julien Bensmail Hervé Hocquard Dimitri Lajou Éric Sopena

Published in: CALDAM (2022)

Keyphrases

linear logic
theorem proving
database
e learning
formal proof
machine learning
information technology
relational databases
medical images
theorem prover
proof planning