The Computational Complexity of Quantified Reciprocals (Q3623832): 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.1007/978-3-642-00665-4_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2149670146
@@ Property / OpenAlex ID: W2149670146 / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113046
@@ Property / cites work: Q3113046 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers and natural language
@@ Property / cites work: Generalized quantifiers and natural language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4328560
@@ Property / cites work: Q4328560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of the semantics of some natural language constructions
+Normal rank
@@ Property / cites work @@
+Q3396588
@@ Property / cites work: Q3396588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4332930
@@ Property / cites work: Q4332930 / rank @@
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Unary quantifiers on finite models
@@ Property / cites work: Unary quantifiers on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of polyadic lifts of generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Q2744910
@@ Property / cites work: Q2744910 / rank @@
+Normal rank