Complexity of the Infinitary Lambek Calculus with Kleene Star.

Stepan L. Kuznetsov

Published in: CoRR (2020)

Keyphrases

computational complexity
worst case
real world
search algorithm
information systems
decision trees
special case
inference rules
space complexity