A first order logic for partial functions (Q5096142): 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 @@
+The foundations of mathematics. A study in the philosophy of science
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Equational specification of partial higher-order algebras
+Normal rank
@@ Property / cites work @@
+Partial-predicate logic in computer science
@@ Property / cites work: Partial-predicate logic in computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic specifications: a constructive specification method for abstract data types
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank