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