This page shows all presentations of this author published in EasyChair Smart Slide.
Verifying Unboundedness via Amalgamation
Ashwani Anand, Sylvain Schmitz, Lia Schütze and Georg Zetzsche