Marianne Morillon

	2006
9		Christian Delhommé, Marianne Morillon: Spanning Graphs and the Axiom of Choice. Reports on Mathematical Logic 40: 165-180 (2006)
	2005
8		Marianne Morillon: James sequences and Dependent Choices. Math. Log. Q. 51(2): 171-186 (2005)
	2004
7		Serge Burckel, Marianne Morillon: Sequential computation of linear Boolean mappings. Theor. Comput. Sci. 314(1-2): 287-292 (2004)
6		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)

Coauthor Index

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]

Colors in the list of coauthors