Search the dblp DataBase

Publications of Author

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