Bisimulation and coverings for graphs and hyper graphs

Lecture Series / Conference / Course : 
ICLA International Conference on Logic and its Applications
Subject: 
TCS
Speaker: 
Martin Otto
Youtube-url: 
https://youtu.be/XSDoU2Lkg_A
Date: 
Thursday, January 10, 2013