| |
| 2009 | ||
|---|---|---|
| 2 | EE | Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196 |
| 2006 | ||
| 1 | EE | Amélie Gheerbrant, Marcin Mostowski: Recursive complexity of the Carnap first order modal logic C. Math. Log. Q. 52(1): 87-94 (2006) |
| 1 | Balder ten Cate | [2] |
| 2 | Marcin Mostowski | [1] |