Generalised Proof-Nets for Compact Categories with Biproducts

Published in: CoRR (2009)

Keyphrases

theorem prover
object categories
theorem proving
data structure
object recognition
database
machine learning
knowledge base
image sequences
relational databases
logic programming
mathematical proofs