A proof-theoretic analysis of collection.

Lev D. Beklemishev

Published in: Arch. Math. Log. (1998)

Keyphrases

theoretic analysis
document collections
decision trees
multiscale
data structure
multi agent systems
special case
linear logic