Arithmetical Proofs of Strong Normalization Results for Symmetric ?-calculi.

René David Karim Nour

Published in: Fundam. Informaticae (2007)

Keyphrases

theorem proving
learning algorithm
preprocessing
neural network
social networks
computer vision
website
case study
high level
multiscale
probabilistic model
reasoning problems
normalization method
formal proofs
rendezvous search