Nombre de documents

1

CV de Achille Frigeri


Article dans une revue1 document

  • Christian Choffrut, Achille Frigeri. Deciding whether the ordering is necessary in a Presburger formula. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2010, 12 (1), pp.20-37. <hal-00990437>