Abstract data type systems (Q1391729): Difference between revisions

@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281465
@@ Property / cites work: Q4281465 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of termination and confluence in combinations of rewrite systems with λω
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+Q4385533
@@ Property / cites work: Q4385533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3889024
@@ Property / cites work: Q3889024 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings and Abelian groups
@@ Property / cites work: Unification in Boolean rings and Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic rewriting conserves algebraic strong normalization
+Normal rank
@@ Property / cites work @@
+Pumping, cleaning and symbolic constraints solving
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / 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 @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Combining algebraic rewriting, extensional lambda calculi, and fixpoints
+Normal rank
@@ Property / cites work @@
+Adding algebraic rewriting to the untyped lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4692463
@@ Property / cites work: Q4692463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+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 @@
+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 @@
+Q4036585
@@ Property / cites work: Q4036585 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of simple termination of term rewriting systems with shared constructors
+Normal rank
@@ Property / cites work @@
+Positive and negative results for higher-order disunification
+Normal rank
@@ Property / cites work @@
+A termination ordering for higher order rewrite systems
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+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 @@
+Q3976029
@@ Property / cites work: Q3976029 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank