Pages that link to "Item:Q4842629"

The following pages link to Complete problems for fixed-point logics (Q4842629):

Displaying 2 items.

• Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
• A double arity hierarchy theorem for transitive closure logic (Q1913297) (← links)