The following pages link to (Q3772178):
Displayed 4 items.
- Vapnik-Chervonenkis density in some theories without the independence property. II (Q372618) (← links)
- Decidability questions for a ring of Laurent polynomials (Q764281) (← links)
- Vapnik-Chervonenkis density in some theories without the independence property, I (Q2790718) (← links)
- A decision procedure for string constraints with string/integer conversion and flat regular constraints (Q6150112) (← links)