## Homepages 🌐

- https://www21.in.tum.de/team/stevensl

## E-Mails 📧

- ed.mut.ni @snevets.sakul

## Entries

### 2023

##### MLSS Decision Procedure

by Lukas Stevens 📧
May 05

### 2022

##### Verification of Query Optimization Algorithms

by Lukas Stevens 🌐 and Bernhard Stöckl 📧
Oct 04

### 2019

##### Order Extension and Szpilrajn's Extension Theorem

by Peter Zeller 📧 and Lukas Stevens 🌐
Jul 27