The following pages link to (Q4945237):
Displaying 5 items.
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Fixpoints, games and the difference hierarchy (Q4462675) (← links)
- Fold/Unfold Transformations for Fixpoint Logic (Q5164174) (← links)
- Temporal verification of programs via first-order fixpoint logic (Q6536298) (← links)