# | Year | Title | ||||
---|---|---|---|---|---|---|
1 |
| |||||
1 |
| |||||
1 |
| |||||
2 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
9 |
| |||||
1 |
| |||||
1 |
| |||||
2 |
| |||||
2001 | Superposition and chaining for totally ordered divisible abelian groups | |||||
1999 | Cancellative superposition decides the theory of divisible torsion-free abelian groups | |||||
1 |
| |||||
1 |
| |||||
3 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
1 |
| |||||
2 |
| |||||
1 |
| |||||
600 |
|