Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A Maude coherence checker tool for conditional order-sorted rewrite theories
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Hi-index | 0.00 |