![]() | ![]() |
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) |