From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel. From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. Electronic Notes in Theoretical Computer Science, 332:75-93, 2017. [doi]

This author has not been identified. Look up 'Agata Ciabattoni' in GoogleThis author has not been identified. Look up 'Björn Lellmann' in GoogleThis author has not been identified. Look up 'Carlos Olarte' in GoogleThis author has not been identified. Look up 'Elaine Pimentel' in Google

runs on WebDSL