L
ukas
S
tevens
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