Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus.

César A. Muñoz

Published in: LICS (1996)

Keyphrases

multiscale
algebraic structure
video sequences
real time
neural network
machine learning
genetic algorithm
high level
automated deduction