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