On notions of inductive validity for first-order equational clauses (Q5210769): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1571394616
@@ Property / OpenAlex ID: W1571394616 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for positive/negative conditional rewrite systems
+Normal rank
@@ Property / cites work @@
+Automated Mathematical Induction
@@ Property / cites work: Automated Mathematical Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Proof by consistency in conditional equational theories
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817653
@@ Property / cites work: Q3817653 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive theorem proving by consistency for first-order clauses
+Normal rank
@@ Property / cites work @@
+Q3817657
@@ Property / cites work: Q3817657 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof by consistency
@@ Property / cites work: Proof by consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818295
@@ Property / cites work: Q3818295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4712663
@@ Property / cites work: Q4712663 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted unification
@@ Property / cites work: Order-sorted unification / rank @@
+Normal rank
@@ Property / cites work @@
+A constructor-based approach for positive/negative-conditional equational specifications
+Normal rank