The following pages link to Infinitary logics and 0-1 laws (Q1193591):
Displaying 4 items.
- Conjunctive-query containment and constraint satisfaction (Q1591157) (← links)
- Lower bounds for invariant queries in logics with counting. (Q1853505) (← links)
- Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs (Q2478545) (← links)
- Degree lower bounds of tower-type for approximating formulas with parity quantifiers (Q5410333) (← links)
