Fixed-point logics, descriptive complexity, and random satisfiability

• Authors:

• Albert Atserias;Phokion G. Kolaitis

• Affiliations:

• -;-

• Venue:
• Fixed-point logics, descriptive complexity, and random satisfiability
• Year:
• 2002