On proving consistency of equational theories in Bounded Arithmetic.

Arnold Beckmann Yoriyuki Yamagata

Published in: CoRR (2022)

Keyphrases

equational theories
theorem proving
constraint networks
consistency checking
function symbols
arithmetic operations
databases