There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations (Q286953): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+The fixed point theory of unbounded non-determinism
+Normal rank
@@ Property / cites work @@
+Q3945564
@@ Property / cites work: Q3945564 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded Non-determinism in CSP
@@ Property / cites work: Unbounded Non-determinism in CSP / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(96)00177-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1987915730
@@ Property / OpenAlex ID: W1987915730 / rank @@
+Normal rank