Pages that link to "Item:Q1237065"
From MaRDI portal
The following pages link to The complexity of explicit definitions (Q1237065):
Displaying 5 items.
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049) (← links)
- A lower bound for the complexity of Craig's interpolants in sentential logic (Q4749821) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)