Sequent Calculi with procedure calls

Mahfuza Farooque Stéphane Graham-Lengrand

Published in: CoRR (2013)

Keyphrases

sequent calculi
general purpose
similarity measure
high dimensional
conditional logic