Pages that link to "Item:Q5267432"
From MaRDI portal
The following pages link to An <i>n</i> ! lower bound on formula size (Q5267432):
Displaying 18 items.
- On the succinctness of some modal logics (Q360052) (← links)
- A purely model-theoretic proof of the exponential succinctness gap between CTL\(^{+}\) and CTL (Q975478) (← links)
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- On FO 2 Quantifier Alternation over Words (Q3182951) (← links)
- Games for Temporal Logics on Trees (Q3602814) (← links)
- A Lower Bound for the Formula Size of Rational Functions (Q3692861) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
- Comparing the succinctness of monadic query languages over finite trees (Q4659888) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- Formula size games for modal logic and μ-calculus (Q5216339) (← links)
- (Q5232899) (← links)
- A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints (Q5390018) (← links)
- On the complexity of existential positive queries (Q5410336) (← links)
- Average-case lower bounds for formula size (Q5495787) (← links)
- Game characterizations for the number of quantifiers (Q6620026) (← links)
- Succinctness of cosafety fragments of LTL via combinatorial proof systems (Q6629519) (← links)
- Games for succinctness of regular expressions (Q6649529) (← links)
- Relating description complexity to entropy (Q6671671) (← links)