Automata-driven automated induction (Q1854445): Difference between revisions

@@ Property / OpenAlex ID @@
+W2120053687
@@ Property / OpenAlex ID: W2120053687 / rank @@
+Normal rank
@@ Property / cites work @@
+Using induction and rewriting to verify and complete parameterized specifications
+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 @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Implicit induction in conditional theories
@@ Property / cites work: Implicit induction in conditional theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490989
@@ Property / cites work: Q3490989 / rank @@
+Normal rank
@@ Property / cites work @@
+Encompassment properties and automata with constraints
+Normal rank
@@ Property / cites work @@
+Q3805960
@@ Property / cites work: Q3805960 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive proofs by specification transformations
@@ Property / cites work: Inductive proofs by specification transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Equational formulae with membership constraints
@@ Property / cites work: Equational formulae with membership constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A methodological view of constraint solving
@@ Property / cites work: A methodological view of constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Positive and negative results for higher-order disunification
+Normal rank
@@ Property / cites work @@
+Tree automata help one to solve equational formulae in AC-theories
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805961
@@ Property / cites work: Q3805961 / rank @@
+Normal rank