Laurent Braud
Laurent Braud
Verified email at lif.univ-mrs.fr
Title
Cited by
Cited by
Year
Towards nominal computation
M Bojanczyk, L Braud, B Klin, S Lasota
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
642012
Traffic grooming on the path
JC Bermond, L Braud, D Coudert
International Colloquium on Structural Information and Communication …, 2005
392005
Linear orders in the pushdown hierarchy
L Braud, A Carayol
International Colloquium on Automata, Languages, and Programming, 88-99, 2010
202010
Covering of ordinals
L Braud
arXiv preprint arXiv:0911.4792, 2009
72009
Order-2 morphic words and recursion schemes
L Braud
preparation, 2011
22011
The structure of orders in the pushdown hierarchy
L Braud
Université Paris-Est, 2010
22010
Higher-order schemes and morphic words
L Braud
Journées Montoises, Rennes, 2006
22006
Structural Information and Communication Complexity
A Pelc, M Raynal
Springer Berlin/Heidelberg., 2007
12007
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
The system can't perform the operation now. Try again later.
Articles 1–10