Charles Peyrat

According to our database, Charles Peyrat authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic).

Luc Dartois, Lê Thành Dung Nguyên, Charles Peyrat

CoRR, May, 2026

2024

Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers.

Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024