Coherence for sharing proof-nets.

Stefano Guerrini Simone Martini Andrea Masini

Published in: Theor. Comput. Sci. (2003)

Keyphrases

information sharing
information retrieval
theorem prover
knowledge sharing
data sharing
multimedia
automated theorem proving
proof planning
artificial intelligence
decision making
relational databases
linear logic
mathematical proofs