Q5856421 (Q5856421): Difference between revisions

@@ Property / cites work @@
+Improving rewriting induction approach for proving ground confluence
+Normal rank
@@ Property / cites work @@
+Division by zero in non-involutive meadows
@@ Property / cites work: Division by zero in non-involutive meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Division by Zero in Common Meadows
@@ Property / cites work: Division by Zero in Common Meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Fracpairs and fractions over a reduced commutative ring
+Normal rank
@@ Property / cites work @@
+Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable data types
+Normal rank
@@ Property / cites work @@
+The rational numbers as an abstract data type
@@ Property / cites work: The rational numbers as an abstract data type / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692466
@@ Property / cites work: Q4692466 / rank @@
+Normal rank
@@ Property / cites work @@
+A systematic study of models of abstract data types
+Normal rank
@@ Property / cites work @@
+Rewrite systems for natural, integral, and rational arithmetic
+Normal rank
@@ Property / cites work @@
+Testing algebraic data types and processes: A unifying theory
+Normal rank
@@ Property / cites work @@
+Q4398780
@@ Property / cites work: Q4398780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447244
@@ Property / cites work: Q4447244 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid implementations of algebraic specifications
+Normal rank
@@ Property / cites work @@
+Rewrite systems for integer arithmetic
@@ Property / cites work: Rewrite systems for integer arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+CSI – A Confluence Tool
@@ Property / cites work: CSI – A Confluence Tool / rank @@
+Normal rank