Detection and analysis of some redundancies in linear logic sequent proofs.

Tatjana Lutovac James Harland

Published in: J. Log. Comput. (2014)

Keyphrases

linear logic
sequent calculus
cut elimination
video sequences
detection algorithm
temporal information
natural deduction