5 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
Takahito Aoto, Naoki Nishida, Jonas Schöpf
Logically constrained term rewriting is a relatively new formalism where rules are equipped with constraints over some arbitrary theory. Although there are many recent advances wit…