The following pages link to Sven Linker (Q2671626):
Displaying 9 items.
- Natural deduction for intuitionistic Euler-Venn diagrams (Q2671627) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Analysing Spatial Properties on Neighbourhood Spaces (Q5089239) (← links)
- Target counting with Presburger constraints and its application in sensor networks (Q5160798) (← links)
- Sequent Calculus for Euler Diagrams (Q5878881) (← links)
- Proof Theory of a Multi-Lane Spatial Logic (Q5891235) (← links)
- Proof Theory of a Multi-Lane Spatial Logic (Q5892109) (← links)
- Finite Models for a Spatial Logic with Discrete and Topological Path Operators (Q6168491) (← links)
- Intuitionistic Euler-Venn Diagrams (Q6485458) (← links)
