×

zbMATH — the first resource for mathematics

Winkler, Sarah

Compute Distance To:
Author ID: winkler.sarah Recent zbMATH articles by "Winkler, Sarah"
Published as: Winkler, Sarah; Winkler, S.
Documents Indexed: 20 Publications since 1999

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 19 times in 10 Documents Cited by Year
Termination tools in ordered completion. Zbl 1291.68376
Winkler, Sarah; Middeldorp, Aart
3
2010
Issues in vision modeling for perceptual video quality assessment. Zbl 1046.68530
Winkler, S.
3
1999
Optimizing \(\text{mkb}_{\text{TT}}\). Zbl 1236.68156
Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito
3
2010
Beyond polynomials and Peano arithmetic – automation of elementary and ordinal interpretations. Zbl 1315.68168
Zankl, Harald; Winkler, Sarah; Middeldorp, Aart
2
2015
Multi-completion with termination tools. (System description). Zbl 1165.68472
Sato, Haruhiko; Winkler, Sarah; Kurihara, Masahito; Middeldorp, Aart
2
2008
AC completion with termination tools. Zbl 1341.68198
Winkler, Sarah; Middeldorp, Aart
1
2011
Multi-completion with termination tools. Zbl 1362.68253
Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito
1
2013
Beyond Peano arithmetic – automatically proving termination of the Goodstein sequence. Zbl 1356.68206
Winkler, Sarah; Zankl, Harald; Middeldorp, Aart
1
2011
AC-KBO revisited. Zbl 1379.68277
Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart
1
2016
Ordinals and Knuth-Bendix orders. Zbl 1352.03018
Winkler, Sarah; Zankl, Harald; Middeldorp, Aart
1
2012
Infinite runs in abstract completion. Zbl 1441.68113
Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah
1
2017
Infinite runs in abstract completion. Zbl 1441.68113
Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah
1
2017
AC-KBO revisited. Zbl 1379.68277
Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart
1
2016
Beyond polynomials and Peano arithmetic – automation of elementary and ordinal interpretations. Zbl 1315.68168
Zankl, Harald; Winkler, Sarah; Middeldorp, Aart
2
2015
Multi-completion with termination tools. Zbl 1362.68253
Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito
1
2013
Ordinals and Knuth-Bendix orders. Zbl 1352.03018
Winkler, Sarah; Zankl, Harald; Middeldorp, Aart
1
2012
AC completion with termination tools. Zbl 1341.68198
Winkler, Sarah; Middeldorp, Aart
1
2011
Beyond Peano arithmetic – automatically proving termination of the Goodstein sequence. Zbl 1356.68206
Winkler, Sarah; Zankl, Harald; Middeldorp, Aart
1
2011
Termination tools in ordered completion. Zbl 1291.68376
Winkler, Sarah; Middeldorp, Aart
3
2010
Optimizing \(\text{mkb}_{\text{TT}}\). Zbl 1236.68156
Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito
3
2010
Multi-completion with termination tools. (System description). Zbl 1165.68472
Sato, Haruhiko; Winkler, Sarah; Kurihara, Masahito; Middeldorp, Aart
2
2008
Issues in vision modeling for perceptual video quality assessment. Zbl 1046.68530
Winkler, S.
3
1999

Citations by Year