Complexity of the Infinitary Lambek Calculus with Kleene Star.

Stepan L. Kuznetsov

Published in: Rev. Symb. Log. (2021)

Keyphrases

propositional logic
real world
machine learning
decision problems
data sets
databases
learning algorithm
computational complexity
computational cost
regular expressions