Amélie Gheerbrant

Available identifiers

Publication	Date of Publication	Type
A Researcher's Digest of GQL (invited talk)	2024-10-08	Paper
Naïve Evaluation of Queries over Incomplete Databases	2021-11-25	Paper
Static analysis and query answering for incomplete data trees with constraints	2018-10-18	Paper
Certain answers over incomplete XML documents: extending tractability boundary	2016-04-18	Paper
Complete axiomatizations of fragments of monadic second-order logic on finite trees	2013-01-07	Paper
Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus	2012-08-05	Paper
Game solution, epistemic dynamics and fixed-point logics	2011-01-03	Paper
Craig Interpolation for Linear Temporal Languages	2009-11-12	Paper
Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees	2009-02-24	Paper
Recursive complexity of the Carnap first order modal logic C	2006-03-24	Paper

This page was built for person: Amélie Gheerbrant