Login / Signup
A Proof of the Focusing Theorem via MALL Proof Nets.
Roberto Maieli
Published in:
WoLLIC (2022)
Keyphrases
</>
databases
interactive theorem proving
database
theorem proving
theorem prover
automated theorem proving
data sets
linear logic
image segmentation
multi agent systems
digital libraries
mobile devices
hidden markov models
inference rules
von neumann