G\'eraud S\'enizergues (Bordeaux

Identifiers

• name variant G\'eraud S\'enizergues (Bordeaux 0.60 · backfill

Papers (2)

1. FREC 14: FRontiers of RECognizability cs.FL · 2014 · author #1
2. Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness cs.FL · 2011 · author #1

Mentions

• 1411.5611 #1 · backfill · confidence 0.70 G\'eraud S\'enizergues (Bordeaux
• 1101.5046 #1 · backfill · confidence 0.70 G\'eraud S\'enizergues (Bordeaux

Frequent Coauthors

• France) 2 shared papers