This page shows all presentations of this author published in EasyChair Smart Slide.
Decidable Inequalities over Infinite Trees
Sabine Bauer, Steffen Jost and Martin Hofmann