Normalization proof for Peano Arithmetic.

Published in: Arch. Math. Log. (2015)

Keyphrases

linear logic
information systems
space filling curves
special case
theorem prover
database
image processing
floating point
geometry theorem proving
proof theory
logic programs
hidden markov models
artificial neural networks
relational databases
three dimensional
artificial intelligence
genetic algorithm