pith. sign in

Luc Segoufin (INRIA & ENS Cachan)

Identifiers

  • name variant Luc Segoufin (INRIA & ENS Cachan) 0.60 · backfill

Papers (3)

  1. Datalog Rewritings of Regular Path Queries using Views cs.DB · 2015 · author #3
  2. Deciding definability in FO2(<h,<v) on trees cs.LO · 2015 · author #2
  3. A decidable characterization of locally testable tree languages cs.FL · 2011 · author #2

Mentions

  • 1505.04934 #2 · backfill · confidence 0.70 Luc Segoufin (INRIA & ENS Cachan)
  • 1109.5851 #2 · backfill · confidence 0.70 Luc Segoufin (INRIA & ENS Cachan)

Frequent Coauthors