An equational approach to enriched distributivity.

Adriana Balan Alexander Kurz

Published in: CoRR (2021)

Keyphrases

theorem proving
equational theories
theorem prover
horn clauses
higher order
graphical models
decision making
keywords
decision makers