Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Applying Rewriting Techniques to the Verification of Erlang Processes
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Simplification and termination of strategies in rule-based languages
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Reachability Analysis over Term Rewriting Systems
Journal of Automated Reasoning
Structures for Abstract Rewriting
Journal of Automated Reasoning
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Automatic case analysis in proof by induction
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Contextual Rewriting In Automated Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |