A Proof of the Substitution Lemma in de Bruijn's Notation.

Hiroshi Ohtsuka

Published in: Inf. Process. Lett. (1993)

Keyphrases

graph structure
theorem prover
johnson lindenstrauss
real time
theorem proving
three dimensional
linear logic
image segmentation
bayesian networks
multiscale
preprocessing
modeling language
automated theorem proving
mathematical proofs