This page shows all presentations of this author published in EasyChair Smart Slide.
SGGS Decision Procedures
Maria Paola Bonacina and Sarah Winkler
Certified Equational Reasoning via Ordered Completion
Christian Sternagel and Sarah Winkler
Loop Detection by Logically Constrained Term Rewriting
Naoki Nishida and Sarah Winkler
Completion for Logically Constrained Rewriting
Sarah Winkler and Aart Middeldorp
MaedMax: A Maximal Ordered Completion Tool
Sarah Winkler and Georg Moser