Inversive meadows and divisive meadows (Q420833): Difference between revisions

@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line instruction sequence completeness for total calculation on cancellation meadows
+Normal rank
@@ Property / cites work @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+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 @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+Instruction sequence processing operators
@@ Property / cites work: Instruction sequence processing operators / rank @@
+Normal rank
@@ Property / cites work @@
+Inversive meadows and divisive meadows
@@ Property / cites work: Inversive meadows and divisive meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Q4621131
@@ Property / cites work: Q4621131 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specifications of computable and semicomputable 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 initial meadows
@@ Property / cites work: The initial meadows / rank @@
+Normal rank
@@ Property / cites work @@
+On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
+Normal rank
@@ Property / cites work @@
+Q4702593
@@ Property / cites work: Q4702593 / rank @@
+Normal rank
@@ Property / cites work @@
+A first order logic for partial functions
@@ Property / cites work: A first order logic for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198895
@@ Property / cites work: Q4198895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231030
@@ Property / cites work: Q4231030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138782
@@ Property / cites work: Q4138782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3977997
@@ Property / cites work: Q3977997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731846
@@ Property / cites work: Q5731846 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational theories and universal theories of fields
+Normal rank
@@ Property / cites work @@
+Partial logics reconsidered: A conservative approach
+Normal rank
@@ Property / cites work @@
+Completeness in arithmetical algebras
@@ Property / cites work: Completeness in arithmetical algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Right-divisive groups
@@ Property / cites work: Right-divisive groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5393646
@@ Property / cites work: Q5393646 / rank @@
+Normal rank
@@ Property / cites work @@
+Inversive semigroups, I
@@ Property / cites work: Inversive semigroups, I / rank @@
+Normal rank