Linear Time in Hypersequent Framework.

Andrzej Indrzejczak

Published in: Bull. Symb. Log. (2016)

Keyphrases

conceptual framework
main contribution
databases
decision trees
machine learning
computational complexity
probabilistic model
worst case