Towards nominal computation M Bojanczyk, L Braud, B Klin, S Lasota Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 69 | 2012 |
Traffic grooming on the path JC Bermond, L Braud, D Coudert Theoretical Computer Science 384 (2-3), 139-151, 2007 | 43 | 2007 |
Linear orders in the pushdown hierarchy L Braud, A Carayol International Colloquium on Automata, Languages, and Programming, 88-99, 2010 | 20 | 2010 |
Covering of ordinals L Braud arXiv preprint arXiv:0911.4792, 2009 | 7 | 2009 |
Order-2 morphic words and recursion schemes L Braud preparation, 2011 | 2 | 2011 |
The structure of orders in the pushdown hierarchy L Braud Les structures dordre dans la hirarchie pile. Thse de doctorat, Universit …, 2010 | 2 | 2010 |
Higher-order schemes and morphic words L Braud Journées Montoises, Rennes, 2006 | 2 | 2006 |
Traffic Grooming on the Path JC Bermond, L Braud, D Coudert | | 2005 |
2.7: Caractérisation logique des langages k-algébriques L Braud, S Fratani Sujets des Mémoires Année 2012–2013 MASTER 2 Recherche en Informatique …, 0 | | |
Logique géométrique L Braud | | |