Jan Frederik Schaefer: Logic-Independent Proof Search in Logical Frameworks (short paper) (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-15

Authors: Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, and Jan Frederik Schaefer

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