Annonce September 2015

annonce@lrde.epita.fr
  • 3 participants
  • 4 discussions

publications: two papers accepted at Spin'15
by Alexandre Duret-Lutz
7 years, 9 months

[Seminaire-LRDE] Merc. 7 oct. 2015: Tamy Boubekeur, Telecom ParisTech
by Akim Demaille
8 years, 5 months

L'air de rien 34.0
by Daniela Becker
8 years, 6 months

publication: SAT-based Minimization of Deterministic ω-Automata (LPAR'15)
by Alexandre Duret-Lutz
8 years, 6 months
Results per page: