Andrej Dudenhefner: Undecidability of Semi-unification on a Napkin (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Author: Andrej Dudenhefner

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