pith. sign in

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