Partial arithmetical data types of rational numbers and their equational specification (Q2168794): Difference between revisions

@@ Property / cites work @@
+A system of logic for partial functions under existence-dependent kleene equality
+Normal rank
@@ Property / cites work @@
+Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
+Normal rank
@@ Property / cites work @@
+Subvarieties of the Variety of Meadows
@@ Property / cites work: Subvarieties of the Variety of Meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912001
@@ Property / cites work: Q3912001 / rank @@
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Meadows and the equational specification of division
+Normal rank
@@ Property / cites work @@
+Inversive meadows and divisive meadows
@@ Property / cites work: Inversive meadows and divisive meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of fractions into simple fractions in divisive meadows
+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 @@
+The completeness of the algebraic specification methods for computable data types
+Normal rank
@@ Property / cites work @@
+Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
+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 @@
+The wheel of rational numbers as an abstract data type
+Normal rank
@@ Property / cites work @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank
@@ Property / cites work @@
+Wheels  on division by zero
@@ Property / cites work: Wheels on division by zero / rank @@
+Normal rank
@@ Property / cites work @@
+Q6104576
@@ Property / cites work: Q6104576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722024
@@ Property / cites work: Q2722024 / rank @@
+Normal rank
@@ Property / cites work @@
+A typed logic of partial functions reconstructed classically
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Equational theories and universal theories of fields
+Normal rank
@@ Property / cites work @@
+Q3773301
@@ Property / cites work: Q3773301 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
+Normal rank
@@ Property / cites work @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934287
@@ Property / cites work: Q4934287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank