An abstract normalisation result with applications to non-sequential calculi.

Eduardo Bonelli Delia Kesner Carlos Lombardi Alejandro Ríos

Published in: CoRR (2014)

Keyphrases

information retrieval
learning algorithm
information systems
case study
probabilistic model