Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica (2007)
Mieke Brune, Jan Willem Klop, Jan Rutten (eds.), Van De Redactie, Samenstelling Bestuur, ...
s van voordrachten On Notions of bisimulation and associated logics Prof.dr. M. Nielsen BRICS, Computer Science Department, University of Aarhus Recently, there have been several attempts of abstract...