Verification Series
Journal Club: A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems
24th May 2018, 14:00
Sven Linker
Abstract
I will talk about a paper on a generic approach to formal diagrammatic systems and their common inference rules.
Maintained by Alexei Lisitsa