The equational theories of representable residuated semigroups.

Szabolcs Mikulás

Published in: Synth. (2015)

Keyphrases

equational theories
theorem proving
range searching
database
databases
machine learning
artificial intelligence
database systems
general purpose
related problems
function symbols