| |
| 2006 | ||
|---|---|---|
| 9 | EE | Christian Delhommé, Marianne Morillon: Spanning Graphs and the Axiom of Choice. Reports on Mathematical Logic 40: 165-180 (2006) |
| 2005 | ||
| 8 | EE | Marianne Morillon: James sequences and Dependent Choices. Math. Log. Q. 51(2): 171-186 (2005) |
| 2004 | ||
| 7 | EE | Serge Burckel, Marianne Morillon: Sequential computation of linear Boolean mappings. Theor. Comput. Sci. 314(1-2): 287-292 (2004) |
| 6 | EE | Serge Burckel, Marianne Morillon: Quadratic Sequential Computations of Boolean Mappings. Theory Comput. Syst. 37(4): 519-525 (2004) |
| 2000 | ||
| 5 | Serge Burckel, Marianne Morillon: Three generators for minimal writing-space computations. ITA 34(2): 131-138 (2000) | |
| 1999 | ||
| 4 | J. Dodu, Marianne Morillon: The Hahn-Banach Property and the Axiom of Choice. Math. Log. Q. 45: 299-314 (1999) | |
| 3 | Christian Delhommé, Marianne Morillon: Dependent Choices and Weak Compactness. Notre Dame Journal of Formal Logic 40(4): 568-573 (1999) | |
| 1992 | ||
| 2 | Frédéric Mesnard, Marianne Morillon: Automatic Generation of Valid Linear Measures for CLP(Q) Programs. WSA 1992: 29-34 | |
| 1990 | ||
| 1 | Labib Haddad, Marianne Morillon: L'Axiome de Normalité pour les Espaces Totalement Ordonnés. J. Symb. Log. 55(1): 277-283 (1990) | |
| 1 | Serge Burckel | [5] [6] [7] |
| 2 | Christian Delhommé | [3] [9] |
| 3 | J. Dodu | [4] |
| 4 | Labib Haddad | [1] |
| 5 | Frédéric Mesnard | [2] |