Model checking mobile ambients (Q1884885): Difference between revisions

@@ Property / describes a project that uses @@
+SLMC
@@ Property / describes a project that uses: SLMC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714431
@@ Property / cites work: Q5714431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484489
@@ Property / cites work: Q4484489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737192
@@ Property / cites work: Q4737192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763663
@@ Property / cites work: Q2763663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778816
@@ Property / cites work: Q2778816 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769429
@@ Property / cites work: Q2769429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738363
@@ Property / cites work: Q4738363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783317
@@ Property / cites work: Q4783317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766526
@@ Property / cites work: Q2766526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940723
@@ Property / cites work: Q4940723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Separability in the Ambient Logic
@@ Property / cites work: Separability in the Ambient Logic / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for relevant logics
@@ Property / cites work: Semantics for relevant logics / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00832-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2031315747
@@ Property / OpenAlex ID: W2031315747 / rank @@
+Normal rank