Modularity of proof-nets.

Roberto Maieli Quintijn Puite

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

Keyphrases

theorem proving
community detection
machine learning
digital libraries
theorem prover
geometry theorem proving
artificial intelligence
search algorithm
linear logic
natural deduction
interactive theorem proving