Semantics and logic of object calculi (Q1434358): Difference between revisions

@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769428
@@ Property / cites work: Q2769428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855345
@@ Property / cites work: Q4855345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230924
@@ Property / cites work: Q4230924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational properties of domains
@@ Property / cites work: Relational properties of domains / rank @@
+Normal rank
@@ Property / cites work @@
+Objects and classes in Algol-like languages
@@ Property / cites work: Objects and classes in Algol-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Class-Based versus Object-Based: A Denotational Comparison
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764133
@@ Property / cites work: Q2764133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank