Eager Equality for Rational Number Arithmetic (Q6116359): Difference between revisions

@@ Property / cites work @@
+Managing Informal Mathematical Knowledge: Techniques from Informal Logic
+Normal rank
@@ Property / cites work @@
+A system of logic for partial functions under existence-dependent kleene equality
+Normal rank
@@ Property / cites work @@
+Meadows and the equational specification of division
+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 @@
+Arithmetical datatypes with true fractions
@@ Property / cites work: Arithmetical datatypes with true fractions / rank @@
+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 @@
+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 @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Weak and strong equations in partial algebras
@@ Property / cites work: Weak and strong equations in partial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanization of strong Kleene logic for partial functions
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160889
@@ Property / cites work: Q4160889 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational theories and universal theories of fields
+Normal rank
@@ Property / cites work @@
+Q4737473
@@ Property / cites work: Q4737473 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3588162
@@ Property / cites work: Q3588162 / 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 @@
+A completeness theorem for weak equational logic
@@ Property / cites work: A completeness theorem for weak equational logic / 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 @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank