conf.researchr.org / Sven Linker
![Sven Linker](https://conf.researchr.org/getProfileImage/svenlinker/e9260ec4-86ac-4759-8ad0-bc1047e84537/small.jpg?1712931773000)
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