Elaine Pimentel and Sonia Marin: Focusing, axioms and synthetic inference rules (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Focusing, axioms and synthetic inference rules (extended abstract)
Authors: Elaine Pimentel, Sonia Marin, Dale Miller, and Marco Volpe

Aired: 2020-02-02 15:15:00 CEST (UTC+2)