Travelled to:1 × France
1 × USA
Collaborated with:A.Carayol M.Bojanczyk B.Klin S.Lasota
Talks about:hierarchi (1) pushdown (1) toward (1) linear (1) comput (1) order (1) nomin (1)
Person: Laurent Braud
DBLP: Braud:Laurent
Contributed to:
2012
2010Wrote 2 papers:
- POPL-2012-BojanczykBKL #towards
- Towards nominal computation (MB, LB, BK, SL), pp. 401–412.
- ICALP-v2-2010-BraudC #automaton #linear #order
- Linear Orders in the Pushdown Hierarchy (LB, AC), pp. 88–99.