Marianne Morillon

16 papers Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
Multiple Choices Imply the Ingleton and Krein-Milman Axioms.
J. Symb. Log.
Marianne Morillon
2017 J jnl
Three-space type Hahn-Banach properties.
Math. Log. Q.
Marianne Morillon
2012 J jnl
Helly Spaces and Radon Measures on Complete Lines.
Order
Marianne Morillon
2012 J jnl
Nash equilibria and values through modular partitions in infinite games.
Discret. Math.
Marianne Morillon, Patricia Spinelli
2012 J jnl
Some consequences of Rado's selection lemma.
Arch. Math. Log.
Marianne Morillon
2010 J jnl
Notions of compactness for special subsets of R
J. Symb. Log.
Marianne Morillon
2006 J jnl
Spanning Graphs and the Axiom of Choice.
Reports Math. Log.
Christian Delhommé, Marianne Morillon
2005 J jnl
James sequences and Dependent Choices.
Math. Log. Q.
Marianne Morillon
2004 J jnl
Quadratic Sequential Computations of Boolean Mappings.
Theory Comput. Syst.
Serge Burckel, Marianne Morillon
2004 J jnl
Sequential computation of linear Boolean mappings.
Theor. Comput. Sci.
Serge Burckel, Marianne Morillon
2000 J jnl
Three generators for minimal writing-space computations.
RAIRO Theor. Informatics Appl.
Serge Burckel, Marianne Morillon
1999 J jnl
Dependent Choices and Weak Compactness.
Notre Dame J. Formal Log.
Christian Delhommé, Marianne Morillon
1999 J jnl
The Hahn-Banach Property and the Axiom of Choice.
Math. Log. Q.
J. Dodu, Marianne Morillon
1992 — conf
Automatic Generation of Valid Linear Measures for CLP(Q) Programs.
WSA
Frédéric Mesnard, Marianne Morillon
1991 J jnl
Extreme Choices on Complete Lexicographic Orders.
Math. Log. Q.
Marianne Morillon
1990 J jnl
L'Axiome de Normalité pour les Espaces Totalement Ordonnés.
J. Symb. Log.
Labib Haddad, Marianne Morillon