Amélie Gheerbrant

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

3 Amélie Gheerbrant, Balder ten Cate: Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301

2 Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196

2006

1 Amélie Gheerbrant, Marcin Mostowski: Recursive complexity of the Carnap first order modal logic C. Math. Log. Q. 52(1): 87-94 (2006)

	2009
3		Amélie Gheerbrant, Balder ten Cate: Craig Interpolation for Linear Temporal Languages. CSL 2009: 287-301
2		Amélie Gheerbrant, Balder ten Cate: Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS 2009: 180-196
	2006
1		Amélie Gheerbrant, Marcin Mostowski: Recursive complexity of the Carnap first order modal logic C. Math. Log. Q. 52(1): 87-94 (2006)

Coauthor Index

1 Balder ten Cate [2] [3]

2 Marcin Mostowski [1]

Colors in the list of coauthors