BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Germany
1 × Japan
1 × Poland
1 × The Netherlands
2 × United Kingdom
Collaborated with:
A.Middeldorp H.Sato M.Kurihara G.Moser C.Sternagel H.Zankl A.Yamada N.Hirokawa
Talks about:
complet (7) termin (4) tool (4) order (3) revisit (2) maxim (2) goodstein (1) techniqu (1) strategi (1) arithmet (1)

Person: Sarah Winkler

DBLP DBLP: Winkler:Sarah

Contributed to:

CADE 20152015
FLOPS 20142014
RTA 20132013
CADE 20112011
IJCAR 20102010
RTA 20102010
IJCAR 20082008
IJCAR 20182018
CADE 20192019

Wrote 10 papers:

CADE-2015-SatoW #dependence #encoding
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (HS, SW), pp. 152–162.
FLOPS-2014-YamadaWHM #revisited
AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.
RTA-2013-WinklerM #normalisation #revisited
Normalized Completion Revisited (SW, AM), pp. 319–334.
RTA-2013-WinklerZM #automation #proving #sequence #termination
Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
CADE-2011-WinklerM #termination #tool support
AC Completion with Termination Tools (SW, AM), pp. 492–498.
IJCAR-2010-WinklerM #order #termination #tool support
Termination Tools in Ordered Completion (SW, AM), pp. 518–532.
RTA-2010-WinklerSMK #optimisation
Optimizing mkbTT (SW, HS, AM, MK), pp. 373–384.
IJCAR-2008-SatoWKM #multi #termination #tool support
Multi-completion with Termination Tools (HS, SW, MK, AM), pp. 306–312.
IJCAR-2018-WinklerM #named #order
MædMax: A Maximal Ordered Completion Tool (SW, GM), pp. 472–480.
CADE-2019-SternagelW #equation #order #reasoning
Certified Equational Reasoning via Ordered Completion (CS, SW), pp. 508–525.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.