Completion for Multiple Reduction Orderings
Journal of Automated Reasoning
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
KBCV: knuth-bendix completion visualizer
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Hi-index | 0.00 |