A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus.

Kentaro Kikuchi

Published in: FLOPS (2004)

Keyphrases

automated theorem proving
proof search
natural deduction
theorem prover
theorem proving
sequent calculus
computer algebra
high level
automated deduction
proof procedure
linear logic
algebraic structure
database
preprocessing
information retrieval
data mining
neural network
real time