| 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) |
