conf.researchr.org / 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