Liron Cohen: Integrating Induction and Coinduction via Closure Operators and Proof Cycles (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Authors: Liron Cohen and Reuben Rowe

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