Pages that link to "Item:Q1919763"

The following pages link to Normal forms for second-order logic over finite structures, and classification of NP optimization problems (Q1919763):

Displaying 2 items.

• On the complexity of data disjunctions. (Q1853503) (← links)
• Truth definitions in finite models (Q5311718) (← links)