Tower-Complete Problems in Contraction-Free Substructural Logics.

Published in: CSL (2023)

Keyphrases

propositional calculus
expressive power
data sets
feature space
np complete
database
data mining
machine learning
database systems
data model
benchmark problems