dblp.uni-trier.dewww.uni-trier.de

Marianne Morillon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

1Serge Burckel [5] [6] [7]
2Christian Delhommé [3] [9]
3J. Dodu [4]
4Labib Haddad [1]
5Frédéric Mesnard [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)