A modal perspective on the computational complexity of attribute value grammar (Q1314274): Difference between revisions

@@ Property / author @@
-Edith Hemaspaandra
@@ Property / author: Edith Hemaspaandra / rank @@
-Normal rank
@@ Property / author @@
+Edith Hemaspaandra
@@ Property / author: Edith Hemaspaandra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039803
@@ Property / cites work: Q4039803 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic propositional dynamic logic: finite models, complexity, and completeness
+Normal rank
@@ Property / cites work @@
+Subsumption computed algebraically
@@ Property / cites work: Subsumption computed algebraically / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Typed Feature Structures
@@ Property / cites work: The Logic of Typed Feature Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinism and looping in combinatory PDL
@@ Property / cites work: Determinism and looping in combinatory PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3313253
@@ Property / cites work: Q3313253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of unification in grammar
@@ Property / cites work: The logic of unification in grammar / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+PDL with data constants
@@ Property / cites work: PDL with data constants / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Feature-constraint logics for unification grammars
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01050635
+Normal rank
@@ Property / OpenAlex ID @@
+W338087933
@@ Property / OpenAlex ID: W338087933 / rank @@
+Normal rank