4 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
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…