Travelled to:1 × Serbia
1 × United Kingdom
Collaborated with:I.Durand G.Sénizergues
Talks about:linear (2) bound (2) recogniz (1) preserv (1) termin (1) system (1) rewrit (1) invers (1) trss (1) term (1)
Person: Marc Sylvestre
DBLP: Sylvestre:Marc
Contributed to:
20112010Wrote 2 papers:
- RTA-2011-DurandS #bound #linear
- Left-linear Bounded TRSs are Inverse Recognizability Preserving (ID, MS), pp. 361–376.
- RTA-2010-DurandSS #bound #linear #term rewriting #termination
- Termination of linear bounded term rewriting systems (ID, GS, MS), pp. 341–356.