Equational theorem proving modulo (Q2055853): Difference between revisions

@@ Property / author @@
-Dohan Kim
@@ Property / author: Dohan Kim / rank @@
-Normal rank
@@ Property / author @@
+Dohan Kim
@@ Property / author: Dohan Kim / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-79876-5_10
+Normal rank
@@ Property / OpenAlex ID @@
+W3179244314
@@ Property / OpenAlex ID: W3179244314 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion for rewriting modulo a congruence
@@ Property / cites work: Completion for rewriting modulo a congruence / 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 @@
+Basic paramodulation
@@ Property / cites work: Basic paramodulation / rank @@
+Normal rank
@@ Property / cites work @@
+Paramodulation with non-monotonic orderings and simplification
+Normal rank
@@ Property / cites work @@
+Q2751361
@@ Property / cites work: Q2751361 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized Resolution Modulo
@@ Property / cites work: Polarized Resolution Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Associative unification and symbolic reasoning modulo associativity in Maude
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+Normal rank
@@ Property / cites work @@
+Equational theorem proving modulo
@@ Property / cites work: Equational theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Reviving basic narrowing modulo
@@ Property / cites work: Reviving basic narrowing modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Q4619820
@@ Property / cites work: Q4619820 / rank @@
+Normal rank
@@ Property / cites work @@
+Paramodulation with built-in AC-theories and symbolic constraints
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Associative-commutative deduction with constraints
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2055853