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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Agata Ciabattoni, Bj?rn Lellmann, Carlos Olarte, Elaine Pimentel

Journal title: Electronic Notes in Theoretical Computer Science

Journal number: 332

Journal publisher: Elsevier BV

Published year: 2017

Published pages: 75-93

DOI identifier: 10.1016/j.entcs.2017.04.006

ISSN: 1571-0661