Proof normalization modulo.

Gilles Dowek Benjamin Werner

Published in: J. Symb. Log. (2003)

Keyphrases

normalization method
theorem prover
mathematical proofs
preprocessing
linear logic
object recognition
hidden markov models
wireless sensor networks