Luc Segoufin (INRIA)

Identifiers

• name variant Luc Segoufin (INRIA) 0.60 · backfill

Papers (4)

1. Unary negation cs.LO · 2013 · author #1
2. Piecewise testable tree languages cs.FL · 2012 · author #2
3. First-order query evaluation on structures of bounded degree cs.LO · 2011 · author #2
4. Tree Languages Defined in First-Order Logic with One Quantifier Alternation cs.FL · 2010 · author #2

Mentions

• 1309.2069 #1 · backfill · confidence 0.70 Luc Segoufin (INRIA)
• 1208.5129 #2 · backfill · confidence 0.70 Luc Segoufin (INRIA)
• 1105.3583 #2 · backfill · confidence 0.70 Luc Segoufin (INRIA)
• 1009.2854 #2 · backfill · confidence 0.70 Luc Segoufin (INRIA)

Frequent Coauthors

• Balder ten Cate (UCSC) 1 shared papers
• Howard Straubing (Boston College) 1 shared papers
• Miko{\l}aj Boja\'nczyk (University of Warsaw) 1 shared papers
• Mikolaj Bojanczyk (Warsaw University) 1 shared papers
• Wojciech Kazana (INRIA) 1 shared papers