Login / Signup
Light linear logics with controlled weakening: Expressibility, confluent strong normalization.
Max I. Kanovich
Published in:
Ann. Pure Appl. Log. (2012)
Keyphrases
</>
preprocessing
database
high level
bayesian networks
higher order
linear complexity