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 Structural Information and Communication Complexity: 12 International …, 2005 | 43 | 2005 |
Linear orders in the pushdown hierarchy L Braud, A Carayol International Colloquium on Automata, Languages, and Programming, 88-99, 2010 | 22 | 2010 |
Covering of ordinals L Braud arXiv preprint arXiv:0911.4792, 2009 | 8 | 2009 |
Order-2 morphic words and recursion schemes L Braud preparation, 2011 | 2 | 2011 |
The structure of orders in the pushdown hierarchy L Braud Université Paris-Est, 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 | | |