A proof system for the first-order relational calculus (Q1138391): Difference between revisions

@@ Property / cites work @@
+Q5181349
@@ Property / cites work: Q5181349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678412
@@ Property / cites work: Q5678412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
+Normal rank
@@ Property / cites work @@
+On the termination of program schemas
@@ Property / cites work: On the termination of program schemas / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank