The following pages link to Verena Huber-Dyson (Q1260168):
Displaying 16 items.
- An inductive theory for free products of groups (Q1260169) (← links)
- (Q2523201) (redirect page) (← links)
- On the decision problem for theories of finite models (Q2523202) (← links)
- Lattices over orders I (Q2542302) (← links)
- (Q2894720) (← links)
- (Q3659974) (← links)
- A Reduction of the Open Sentence Problem for Finite Groups (Q3882617) (← links)
- (Q3957133) (← links)
- (Q4040058) (← links)
- A family of groups with nice word problems (Q4058659) (← links)
- Talking about free groups in naturally enriched languages (Q4141240) (← links)
- (Q4397042) (← links)
- (Q4745993) (← links)
- (Q5187448) (← links)
- On the decision problem for extensions of a decidable theory (Q5588638) (← links)
- (Q5802175) (← links)
