 | 2011 |
| 4 |  | Gérard Leloup:
Existentially equivalent cyclic ultrametric spaces and cyclically valued groups.
Logic Journal of the IGPL 19(1): 144-173 (2011) |
| 1995 |
| 3 |  | Gérard Leloup:
Élimination des Quantificateurs dans des Paires de Corps.
J. Symb. Log. 60(2): 548-562 (1995) |
| 1994 |
| 2 |  | Gérard Leloup:
Rings of Monoids Elementarily Equivalent to Polynomial Rings.
Ann. Pure Appl. Logic 68(2): 173-180 (1994) |
| 1990 |
| 1 |  | Gérard Leloup:
Théeories Compléetes de Paires de Corps Valuées Henseliens.
J. Symb. Log. 55(1): 323-339 (1990) |