Skip to Main content Skip to Navigation

hal-02882118v1  Conference papers
Julien Grange. Successor-Invariant First-Order Logic on Classes of Bounded Degree
LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. ⟨10.1145/3373718.3394767⟩
hal-02310749v2  Conference papers
Julien GrangeLuc Segoufin. Order-Invariant First-Order Logic over Hollow Trees
CSL 2020 - 28th annual conference of the European Association for Computer Science Logic, Jan 2020, Barcelona, Spain. pp.1-23, ⟨10.4230/LIPIcs.CSL.2020.23⟩
tel-02947853v1  Theses
Julien Grange. On the Expressive Power of Invariant Logics over Sparse Classes of Structures
Logic in Computer Science [cs.LO]. ENS Paris, 2020. English