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] |