Sven Linker

Registered user since Mon 30 Sep 2019

Name:Sven Linker
Country:Germany
Affiliation:Lancaster University, UK (Leipzig Campus)
Research interests:Spatial Logic, Proof Theory, Verification, Visual Reasoning

Contributions