Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029): Difference between revisions

@@ 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-540-70590-1_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1480151951
@@ Property / OpenAlex ID: W1480151951 / rank @@
+Normal rank
@@ Property / cites work @@
+Dealing with Non-orientable Equations in Rewriting Induction
+Normal rank
@@ Property / cites work @@
+Incorporating decision procedures in implicit induction.
+Normal rank
@@ Property / cites work @@
+Q4447243
@@ Property / cites work: Q4447243 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving by test set induction
@@ Property / cites work: Automated theorem proving by test set induction / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Mathematical Induction
@@ Property / cites work: Automated Mathematical Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit induction in conditional theories
@@ Property / cites work: Implicit induction in conditional theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical verification of an ideal incremental ABR conformance algorithm
+Normal rank
@@ Property / cites work @@
+A general framework to build contextual cover set induction provers
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Descente Infinie + Deduction
@@ Property / cites work: Descente Infinie + Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewriting induction
@@ Property / cites work: Term rewriting induction / rank @@
+Normal rank