Term Rewriting in a Logic of Special Relations
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Calculating Church-Rosser Proofs in Kleene Algebra
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Context Unification and Traversal Equations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Deriving Focused Calculi for Transitive Relations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
On a Generalised Logicality Theorem
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Structures for Abstract Rewriting
Journal of Automated Reasoning
An Abstract Way to Define Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Constructing rewrite-based decision procedures for embeddings and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Hi-index | 0.00 |