Sven Linker

Available identifiers

zbMath Open linker.svenWikidataQ91866590 ScholiaQ91866590MaRDI QIDQ2671626

List of research outcomes

Publication	Date of Publication	Type
Finite Models for a Spatial Logic with Discrete and Topological Path Operators	2023-08-08	Paper
Sequent Calculus for Euler Diagrams	2023-02-23	Paper
Intuitionistic Euler-Venn Diagrams	2022-12-07	Paper
Analysing Spatial Properties on Neighbourhood Spaces	2022-07-18	Paper
Natural deduction for intuitionistic Euler-Venn diagrams	2022-06-03	Paper
Target counting with Presburger constraints and its application in sensor networks	2021-10-29	Paper
Proof Theory of a Multi-Lane Spatial Logic	2015-08-25	Paper
Proof Theory of a Multi-Lane Spatial Logic	2013-10-04	Paper
Proving Safety of Traffic Manoeuvres on Country Roads	2013-08-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sven Linker