Pages that link to "Item:Q5042236"
From MaRDI portal
The following pages link to Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236):
Displaying 7 items.
- New algebraic invariants for definable subsets in universal algebra (Q695766) (← links)
- Arithmetic complexity of first-order definable subsets of recursive Boolean algebras (Q1284381) (← links)
- Light affine set theory: A naive set theory of polynomial time (Q1876088) (← links)
- Structures computable in polynomial time. I (Q2401536) (← links)
- Fixed-Point Definability and Polynomial Time (Q3644737) (← links)
- Decidability of classes of algebraic systems in polynomial time (Q4807234) (← links)
- Effective definability of Kolchin polynomials (Q5218192) (← links)