Non-commutative proof construction: A constraint-based approach.

Jean-Marc Andreoli Roberto Maieli Paul Ruet

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

linear logic
database
special case
theorem prover
construction process
data sets
real world
website
multiscale
multi agent systems
multiresolution
theorem proving
mathematical proofs