Order-sorted model theory for temporal executable specifications (Q1391744): Difference between revisions

@@ Property / describes a project that uses @@
+METATEM
@@ Property / describes a project that uses: METATEM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004424
@@ Property / cites work: Q4004424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518414
@@ Property / cites work: Q4518414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518441
@@ Property / cites work: Q4518441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00134-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2032196278
@@ Property / OpenAlex ID: W2032196278 / rank @@
+Normal rank