The quest for a logic for polynomial-time computation: technical perspective

• Authors:

• Phokion G. Kolaitis

• Affiliations:

• University of California Santa Cruz and IBM Research---Almaden

• Venue:
• Communications of the ACM
• Year:
• 2011