This page shows all presentations of this author published in EasyChair Smart Slide.
The Coinductive Formulation of Common Knowledge
Venanzio Capretta and Colm Baston