Dominik Kirst: Trakhtenbrot's Theorem in Coq (IJCAR B)
Channel: IJCAR-FSCD 2020
Date: 16/07/2020

Authors: Dominik Kirst and Dominique Larchey-Wendling

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