On the Complexity of Semantic Self-minimization (Q2810966): 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.entcs.2009.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2100973900
@@ Property / OpenAlex ID: W2100973900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396636
@@ Property / cites work: Q3396636 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Decision Problems for Mixed and Modal Specifications
+Normal rank
@@ Property / cites work @@
+Q2851316
@@ Property / cites work: Q2851316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342079
@@ Property / cites work: Q4342079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494388
@@ Property / cites work: Q4494388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3197780
@@ Property / cites work: Q3197780 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2810966