Marianne Morillon

According to our database, Marianne Morillon authored at least 16 papers between 1990 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Multiple Choices Imply the Ingleton and Krein-Milman Axioms.

Marianne Morillon

J. Symb. Log., 2020

2017

Three-space type Hahn-Banach properties.

Marianne Morillon

Math. Log. Q., 2017

2012

Helly Spaces and Radon Measures on Complete Lines.

Marianne Morillon

Order, 2012

Nash equilibria and values through modular partitions in infinite games.

Marianne Morillon, Patricia Spinelli

Discret. Math., 2012

Some consequences of Rado's selection lemma.

Marianne Morillon

Arch. Math. Log., 2012

2010

Notions of compactness for special subsets of R^I and some weak forms of the axiom of choice.

Marianne Morillon

J. Symb. Log., 2010

2006

Spanning Graphs and the Axiom of Choice.

Christian Delhommé, Marianne Morillon

Reports Math. Log., 2006

2005

James sequences and Dependent Choices.

Marianne Morillon

Math. Log. Q., 2005

2004

Sequential computation of linear Boolean mappings.

Serge Burckel, Marianne Morillon

Theor. Comput. Sci., 2004

Quadratic Sequential Computations of Boolean Mappings.

Serge Burckel, Marianne Morillon

Theory Comput. Syst., 2004

2000

Three generators for minimal writing-space computations.

Serge Burckel, Marianne Morillon

RAIRO Theor. Informatics Appl., 2000

1999

Dependent Choices and Weak Compactness.

Christian Delhommé, Marianne Morillon

Notre Dame J. Formal Log., 1999

The Hahn-Banach Property and the Axiom of Choice.

J. Dodu, Marianne Morillon

Math. Log. Q., 1999

1992

Automatic Generation of Valid Linear Measures for CLP(Q) Programs.

Frédéric Mesnard, Marianne Morillon

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

1991

Extreme Choices on Complete Lexicographic Orders.

Marianne Morillon

Math. Log. Q., 1991

1990

L'Axiome de Normalité pour les Espaces Totalement Ordonnés.

Labib Haddad, Marianne Morillon

J. Symb. Log., 1990