Pages that link to "Item:Q2219074"
From MaRDI portal
The following pages link to Deciding quantifier-free definability in finite algebraic structures (Q2219074):
Displaying 5 items.
- Deciding open definability via subisomorphisms (Q1799273) (← links)
- Quantifier Free Definability on Infinite Algebras (Q4635936) (← links)
- (Q5127336) (← links)
- Decidability of Definability (Q5407040) (← links)
- Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures (Q6431344) (← links)