The following pages link to Libo Lo (Q1100187):
Displaying 5 items.
- On the computational complexity of the theory of Abelian groups (Q1100188) (← links)
- On the number of countable homogeneous models (Q3043116) (← links)
- The τ-theory for free groups is undecidable (Q3043127) (← links)
- (Q3872445) (← links)
- Functions and functional on finite systems (Q4008751) (← links)