Sven Linker

Available identifiers

zbMath Open linker.svenDBLP48/8323WikidataQ91866590 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

This page was built for person: Sven Linker