Fixed-Point Definability and Polynomial Time

Abstract My talk will be a survey of recent results about the quest for a logic capturing polynomial time.

Authors

• Martin Grohe

Keywords

No keywords are indexed for this paper.