Similar Items: Inapproximability of Unique Games in Fixed-Point Logic with Counting
- Fixed point combinators as fixed points of higher-order fixed point generators
- Tameness in least fixed-point logic and McColm's conjecture
- On Nominal Syntax and Permutation Fixed Points
- Proper Functors and Fixed Points for Finite Behaviour
- Fixed Points Theorems for Non-Transitive Relations
- Computational expressivity of (circular) proofs with fixed points