Marc Sylvestre

According to our database, Marc Sylvestre authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Left-linear Bounded TRSs are Inverse Recognizability Preserving.

Irène Durand, Marc Sylvestre

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Termination of linear bounded term rewriting systems.

Irène Durand, Géraud Sénizergues, Marc Sylvestre

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010