Pages that link to "Item:Q2003922"
From MaRDI portal
The following pages link to Complexity of syntactical tree fragments of independence-friendly logic (Q2003922):
Displaying 4 items.
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884) (← links)
- Computer Science Logic (Q5394588) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)