Items where Author is "Gheerbrant, Amélie"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 6.

Report

PP-2011-28: van Benthem, Johan and Gheerbrant, Amélie (2011) Game Solution, Epistemic Dynamics and Fixed-Point Logics. [Report]

PP-2010-12: Gheerbrant, Amélie (2010) Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus. [Report]

PP-2009-41: Gheerbrant, Amélie (2009) Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus. [Report]

PP-2009-26: Gheerbrant, Amélie and ten Cate, Balder (2009) Craig Interpolation for Linear Temporal Languages. [Report]

PP-2008-44: Gheerbrant, Amélie and ten Cate, Balder (2008) Complete Axiomatizations of $MSO$, $FO(TC^1)$, $FO(LFP^1)$ on Finite Trees. [Report]

Thesis

DS-2010-08: Gheerbrant, Amélie (2010) Fixed-Point Logics on Trees. Doctoral thesis, University of Amsterdam.

This list was generated on Sat Dec 21 00:30:38 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility