Correctness of Multiplicative Proof Nets Is Linear.

Stefano Guerrini

Published in: LICS (1999)

Keyphrases

linear systems
provably correct
theorem prover
linear complexity
real world
computer vision
website
multiscale
data structure
artificial neural networks
closed form
theorem proving
simple linear