Concurrent Construction of Proof-Nets.

Jean-Marc Andreoli Laurent Mazaré

Published in: CSL (2003)

Keyphrases

construction process
database
artificial intelligence
theorem proving
databases
data mining
information retrieval
image processing
case study
high level
multiscale
petri net