Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids.

Dmitry Shkatov Clint J. van Alten

Published in: CoRR (2019)

Keyphrases

general theory
theoretical framework
computational model
kolmogorov complexity
data sets
boolean algebra
computational cost
worst case
theoretical basis
real time
databases
logic programs
theoretical foundation
information theory
space complexity