Sarah Winkler

Available identifiers

zbMath Open winkler.sarahMaRDI QIDQ352953

List of research outcomes

Publication	Date of Publication	Type
Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover	2023-06-14	Paper
CTL* model checking for data-aware dynamic systems with arithmetic	2022-12-07	Paper
SGGS decision procedures	2022-11-09	Paper
Extending Maximal Completion (Invited Talk)	2022-07-18	Paper
Runtime complexity analysis of logically constrained rewriting	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4993362	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5111315	2020-05-26	Paper
Certified equational reasoning via ordered completion	2020-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5232901	2019-09-13	Paper
Loop detection by logically constrained term rewriting	2018-12-07	Paper
MædMax: a maximal ordered completion tool	2018-10-18	Paper
AC-KBO revisited	2017-11-09	Paper
Formalizing Soundness and Completeness of Unravelings	2017-02-27	Paper
Beyond Peano Arithmetic – Automatically Proving Termination of the Goodstein Sequence	2017-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q2958393	2017-02-01	Paper
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion	2015-12-02	Paper
Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations	2015-01-14	Paper
AC-KBO Revisited	2014-07-24	Paper
Multi-completion with termination tools	2013-07-05	Paper
Ordinals and Knuth-Bendix Orders	2012-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5389156	2012-04-25	Paper
AC Completion with Termination Tools	2011-07-29	Paper
Termination Tools in Ordered Completion	2010-09-14	Paper
Multi-completion with Termination Tools (System Description)	2008-11-27	Paper

Research outcomes over time

This page was built for person: Sarah Winkler