1 citations · 1 across the 2 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…