Login / Signup
On Banach spaces of sequences and free linear logic exponential modality.
Sergey Slavnov
Published in:
CoRR (2015)
Keyphrases
</>
linear logic
fixed point
multi modal
logic programming
sequent calculus
hidden markov models
cut elimination
proof theoretic
desirable properties
medical images
sequential patterns
logical framework
image segmentation
proof search
dynamic programming