Polarized Proof-Nets: Proof-Nets for LC.

Olivier Laurent

Published in: TLCA (1999)

Keyphrases

theorem proving
case study
linear logic
theorem prover
real time
information retrieval
computer vision
information systems
decision making
image processing
inference rules