4 citations · 18 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CC2020
Runtime Complexity Analysis of Logically Constrained Rewriting
Sarah Winkler, Georg Moser
Logically constrained rewrite systems (LCTRSs) are a versatile and efficient rewriting formalism that can be used to model programs from various programming paradigms, as well as s…
cs.LO2020
Tools in Term Rewriting for Education
Sarah Winkler, Aart Middeldorp
Term rewriting is a Turing complete model of computation. When taught to students of computer science, key properties of computation as well as techniques to analyze programs on an…