Verification Series

Journal Club: A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems

24th May 2018, 14:00 add to calender
Sven Linker

Abstract

I will talk about a paper on a generic approach to formal diagrammatic systems and their common inference rules.
add to calender (including abstract)