18 citations · 25 across the 5 of their papers we have counts for
1 paper · 1 filter
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and se…