Automatic proofs by induction in theories without constructors (Q1824382): Difference between revisions

@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785921
@@ Property / cites work: Q3785921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703288
@@ Property / cites work: Q3703288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725540
@@ Property / cites work: Q3725540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880309
@@ Property / cites work: Q3880309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete proof of correctness of the Knuth-Bendix completion algorithm
+Normal rank
@@ Property / cites work @@
+Proofs by induction in equational theories with constructors
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713575
@@ Property / cites work: Q3713575 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the Tecton proof system
@@ Property / cites work: An overview of the Tecton proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347863
@@ Property / cites work: Q3347863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698310
@@ Property / cites work: Q3698310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3716284
@@ Property / cites work: Q3716284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783518
@@ Property / cites work: Q3783518 / rank @@
+Normal rank