Equational Theorem Proving for Clauses over Strings (Q6118747): Difference between revisions

@@ Property / cites work @@
+A rewriting approach to satisfiability procedures.
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Rewrite-based Equational Theorem Proving with Selection and Simplification
+Normal rank
@@ Property / cites work @@
+Q4524792
@@ Property / cites work: Q4524792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser property
@@ Property / cites work: Testing for the Church-Rosser property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+A completion procedure for finitely presented groups that is based on word cycles
+Normal rank
@@ Property / cites work @@
+Conditional semi-Thue systems for presenting monoids
+Normal rank
@@ Property / cites work @@
+Q4036569
@@ Property / cites work: Q4036569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and matching modulo nilpotence
@@ Property / cites work: Unification and matching modulo nilpotence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650358
@@ Property / cites work: Q4650358 / rank @@
+Normal rank
@@ Property / cites work @@
+The Knuth-Bendix Completion Procedure and Thue Systems
+Normal rank
@@ Property / cites work @@
+Equational theorem proving modulo
@@ Property / cites work: Equational theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428306
@@ Property / cites work: Q4428306 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient SMT solver for string constraints
@@ Property / cites work: An efficient SMT solver for string constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036570
@@ Property / cites work: Q4036570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Cross-sections for finitely presented monoids with decidable word problems
+Normal rank
@@ Property / cites work @@
+ON PRESENTATIONS OF COMMUTATIVE MONOIDS
@@ Property / cites work: ON PRESENTATIONS OF COMMUTATIVE MONOIDS / rank @@
+Normal rank