Equational rules for rewriting logic (Q1608925): Difference between revisions

@@ Property / cites work @@
+AC-unification race: The system solving approach, implementation and benchmarks
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q3787463
@@ Property / cites work: Q3787463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817653
@@ Property / cites work: Q3817653 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537514
@@ Property / cites work: Q4537514 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional back-ends within the lambda-sigma calculus
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268454
@@ Property / cites work: Q4268454 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Extension orderings
@@ Property / cites work: Extension orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996
+Normal rank
@@ Property / cites work @@
+Q4223003
@@ Property / cites work: Q4223003 / rank @@
+Normal rank