EasyChair Smart Slide
Undecidability of Dyadic First-Order Logic in Coq
Undecidability of Dyadic First-Order Logic in Coq