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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2004.01.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2027723207
@@ Property / OpenAlex ID: W2027723207 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56092882
@@ Property / Wikidata QID: Q56092882 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1434358