Pages that link to "Item:Q1286369"
From MaRDI portal
The following pages link to Sentences over integral domains and their computational complexities (Q1286369):
Displaying 8 items.
- Algorithms for sentences over integral domains (Q920964) (← links)
- Computational complexity of sentences over fields (Q937294) (← links)
- Polynomial time algorithms for sentences over number fields (Q1187032) (← links)
- Skolem functions of arithmetical sentences. (Q1427862) (← links)
- Computational complexity of arithmetical sentences (Q1898469) (← links)
- The bounds of Skolem functions and their applications (Q1898486) (← links)
- Complexity of Scott sentences (Q5146417) (← links)
- Computational arithmetic geometry. I: Sentences nearly in the polynomial hierarchy (Q5943088) (← links)