EasyChair Smart SlideDocs/Log in
Author: Sarah Winkler

This page shows all presentations of this author published in EasyChair Smart Slide.

On SGGS and Horn Clauses

On SGGS and Horn Clauses

Maria Paola Bonacina and Sarah Winkler

SGGS Decision Procedures

SGGS Decision Procedures

Maria Paola Bonacina and Sarah Winkler

Certified Equational Reasoning via Ordered Completion

Certified Equational Reasoning via Ordered Completion

Christian Sternagel and Sarah Winkler

Loop Detection by Logically Constrained Term Rewriting

Loop Detection by Logically Constrained Term Rewriting

Naoki Nishida and Sarah Winkler

Completion for Logically Constrained Rewriting

Completion for Logically Constrained Rewriting

Sarah Winkler and Aart Middeldorp

MaedMax: A Maximal Ordered Completion Tool

MaedMax: A Maximal Ordered Completion Tool

Sarah Winkler and Georg Moser

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair