This page shows all presentations from this conference published in EasyChair Smart Slide.
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Clemens Grabmayer