ELAN from a rewriting logic point of view (Q1608914): Difference between revisions

@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Proving innermost normalisation automatically
@@ Property / cites work: Proving innermost normalisation automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative discrimination nets
@@ Property / cites work: Associative-commutative discrimination nets / rank @@
+Normal rank
@@ Property / cites work @@
+Basic paramodulation
@@ Property / cites work: Basic paramodulation / rank @@
+Normal rank
@@ Property / cites work @@
+Autarkic computations in formal proofs
@@ Property / cites work: Autarkic computations in formal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of matching problems
@@ Property / cites work: Complexity of matching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
+Normal rank
@@ Property / cites work @@
+Q4222861
@@ Property / cites work: Q4222861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264200
@@ Property / cites work: Q4264200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782483
@@ Property / cites work: Q2782483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703689
@@ Property / cites work: Q2703689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778872
@@ Property / cites work: Q2778872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222979
@@ Property / cites work: Q4222979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A technical note on AC-unification. The number of minimal unifiers of the equation \(\alpha x_ 1+ \cdots + \alpha x_ p \doteq _{AC} \beta y_ 1+ \cdots + \beta y_ q\)
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Induction for termination with local strategies
@@ Property / cites work: Induction for termination with local strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+On proving termination by innermost termination
@@ Property / cites work: On proving termination by innermost termination / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Q2740996
@@ Property / cites work: Q2740996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264199
@@ Property / cites work: Q4264199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736358
@@ Property / cites work: Q2736358 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata help one to solve equational formulae in AC-theories
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Prototyping combination of unification algorithms with the ELAN rule-based programming language
+Normal rank
@@ Property / cites work @@
+Automated deduction with associative-commutative operators
+Normal rank