Homology of proof-nets.

François Métayer

Published in: Arch. Math. Log. (1994)

Keyphrases

digital images
theorem prover
theorem proving
linear logic
mathematical proofs
database
data sets
neural network
information systems
three dimensional
artificial neural networks
dynamic programming
amino acid sequences
proof search
betti numbers