2008 |
11 | EE | Bruno Courcelle,
Christian Delhommé:
The modular decomposition of countable graphs. Definition and construction in monadic second-order logic.
Theor. Comput. Sci. 394(1-2): 1-38 (2008) |
2007 |
10 | EE | Christian Delhommé,
Claude Laflamme,
Maurice Pouzet,
Norbert Sauer:
Divisibility of countable metric spaces.
Eur. J. Comb. 28(6): 1746-1769 (2007) |
2006 |
9 | EE | Christian Delhommé:
Height of a Superposition.
Order 23(2-3): 221-233 (2006) |
8 | EE | Christian Delhommé,
Marianne Morillon:
Spanning Graphs and the Axiom of Choice.
Reports on Mathematical Logic 40: 165-180 (2006) |
2005 |
7 | EE | Bruno Courcelle,
Christian Delhommé:
The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic.
CSL 2005: 325-338 |
2003 |
6 | EE | Christian Delhommé,
Teodor Knapik,
D. Gnanaraj Thomas:
Using Transitive-Closure Logic for Deciding Linear Properties of Monoids.
MFCS 2003: 378-387 |
2002 |
5 | EE | Christian Delhommé,
Norbert Sauer:
Homomorphisms of Products of Graphs into Graphs Without Four Cycles.
Combinatorica 22(1): 35-46 (2002) |
2000 |
4 | EE | Christian Delhommé,
Maurice Pouzet,
Norbert Sauer:
Jump-number of Means on Graphs.
Eur. J. Comb. 21(6): 767-775 (2000) |
1999 |
3 | | Christian Delhommé,
Marianne Morillon:
Dependent Choices and Weak Compactness.
Notre Dame Journal of Formal Logic 40(4): 568-573 (1999) |
1998 |
2 | | Christian Delhommé:
Infinite Projection Properties.
Math. Log. Q. 44: 481-492 (1998) |
1996 |
1 | EE | Christian Delhommé:
Propriétés de Projection des Graphes sans Triangle ni Carré.
Eur. J. Comb. 17(1): 15-22 (1996) |