Login / Signup
Computational and Concurrency Models of Linear Logic.
Max I. Kanovich
Published in:
LFCS (1994)
Keyphrases
</>
linear logic
computational models
video sequences
probabilistic model