Narrowing based procedures for equational disunification (Q1197097): Difference between revisions

@@ Property / describes a project that uses @@
+NARROWER
@@ Property / describes a project that uses: NARROWER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713559
@@ Property / cites work: Q3713559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818292
@@ Property / cites work: Q3818292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036586
@@ Property / cites work: Q4036586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3974766
@@ Property / cites work: Q3974766 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3335752
@@ Property / cites work: Q3335752 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725540
@@ Property / cites work: Q3725540 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs by induction in equational theories with constructors
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664457
@@ Property / cites work: Q3664457 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with equalities, subsorts, overloading, and parametrization in OBJ
+Normal rank
@@ Property / cites work @@
+Automatic proofs by induction in theories without constructors
+Normal rank
@@ Property / cites work @@
+Sufficient-completeness, ground-reducibility and their complexity
+Normal rank
@@ Property / cites work @@
+On sufficient-completeness and related properties of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3690200
@@ Property / cites work: Q3690200 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Abstract Data Type Specification in the Affirm System
+Normal rank
@@ Property / cites work @@
+Semantic confluence tests and completion methods
@@ Property / cites work: Semantic confluence tests and completion methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696486
@@ Property / cites work: Q3696486 / rank @@
+Normal rank